{-# LANGUAGE GADTs #-} data T where T :: {field :: Int} -> T