module N (N(..)) where

newtype N a = N a