1{-# LANGUAGE GADTs #-} 2 3data GADT a where 4 MyInt :: GADT Int 5 MyBool :: GADT Bool 6 MyVar :: GADT a 7 8 9test :: GADT Int -> GADT Bool 10test x = case x of 11 12