module MA where
  newtype TA = MkTA Int