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