Salut a tous

je suis novice en programmation fonctionnelle et pour l'exercice ci-dessous
J'ai essayer le 1. en écrivant ceci
Code : Sélectionner tout - Visualiser dans une fenêtre à part
λx.x
comme exemple de termes clos mais apparemment je suis complètement a coté alors j’espère si on peut m'aider pour cet exercice

merci !!!

Pour chacun des types suivants, donner un terme clos (sans variable libre) de ce type.
1. A → A
2. (A → A) → (A → A)
3. A → ((A → B) → B).