{-# LANGUAGE GADTs #-}

data Z
data S a

data Nested height a where
 E :: [a] -> Nested Z a
 N :: [Nested n a] -> Nested (S n) a

flatten :: Nested height a -> [a]
flatten (E s) = s
flatten (N ns) = ns >>= flatten