module Main where

import N (N(N))
import Safe.Coerce (coerce)

unwrap :: forall a. N a -> a
unwrap = coerce