module A where
newtype TA = MkTA Int
instance Eq TA