MicroHs-0.9.8.0: tests/Syn.hs

module Syn(main) where

type Id = forall a . a -> a

ide :: Id
ide x = x