newtype MyIntTy = MyIntCon Int main :: IO () main = pure ()