haskell-src-exts-1.14.0: Test/examples/GADTRecord.hs

{-# LANGUAGE GADTs #-}

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