module N (N) where

newtype N a = N a