MicroHs-0.9.3.0: tests/Syn.hs

module Syn(main) where

type Id = forall a . a -> a

ide :: Id
ide x = x