module N where

newtype N a = N a