1{-# LANGUAGE GADTs #-} 2 3data GADT a where 4 GADT :: 5 { blah :: Int 6 , bar :: a 7 } -> GADT a 8 9 10split :: GADT a -> a 11split x = _ 12 13