module N2 where

import N1

newtype N2 a = N2 (N1 a)