module Newtype where

newtype IntType = IntType Int