id ∷ ∀a. a → a
id a = a

fix ∷ ∀a. (a → a) → a
fix f = f (fix f)

main ∷ IO ()
main = fix id