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