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

data Ty where
        TCon :: {field1 :: Int, field2 :: Bool} -> Ty
        TCon2 :: Ty