{-# LANGUAGE GADTs #-}

data T where
  T :: { field :: Int } -> T