CoercibleRepresentational6.purs

-- @shouldFailWith NoInstanceFound
module Main where

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

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