module N1 where

newtype N1 a = N1 a