1{-# LANGUAGE GADTs #-} 2 3data GADT a where 4 One :: (b -> Int) -> GADT Int 5 Two :: GADT Bool 6 7test :: z -> GADT Int 8test z = _ 9 10