data Ty a where
    Int  :: Ty Int
    Bool :: Ty Bool
    ...