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