1{-# LANGUAGE GADTs #-}
2
3data T where
4  T :: { field :: Int } -> T
5