haskell-src-exts-1.24.0: tests/examples/GADTRecord2.hs

{-# LANGUAGE GADTs #-}

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