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