module Syn(main) where

type Id = forall a . a -> a

ide :: Id
ide x = x