module A where newtype TA = MkTA Int