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