module SimpleNewtype where

newtype A where
  B :: Int -> A