testsuite/tests/typecheck/should_fail/T10285a.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE RoleAnnotations #-}

module T10285a (N, coercion) where

import Data.Type.Coercion

newtype N a = MkN Int
type role N representational

coercion :: Coercion (N a) (N b)
coercion = Coercion