2.5   Exercices

1. Vérifier le type de S.
   
   
2. Écrire une fonction new_print_type qui n'affiche pas la représentation interne du type, comme celle indiquée ci-desssus, mais une représentation externe à la manière de Caml. Par exemple :

   new_print_type  (fst (TYPE [] A));;
   

   affichera ('a -> 'b) -> ('a -> 'b).
   
   
3. Typer : let deux = l f.l x.f (f x) in deux deux