es8

il principal type e' a -> b -> a per come si arriva a tale risultato, consultare testi.
L'operatore di punto fisso non e' normalizzabile, 
se avesse anche un solo tipo sarebbe addirittura fortemente normalizzabile, quindi... 
