{-# LANGUAGE GADTs #-}
module Main (main) where

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