{-# LANGUAGE GADTs #-}

data T where
        T :: () => {field :: Int} -> T