1module T10285 where 2 3import T10285a 4import Data.Type.Coercion 5import Data.Coerce 6 7oops :: Coercion (N a) (N b) -> a -> b 8oops Coercion = coerce 9 10unsafeCoerce :: a -> b 11unsafeCoerce = oops coercion 12