Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / TcCoercibleFail3.hs
1 {-# LANGUAGE RoleAnnotations, RankNTypes, ScopedTypeVariables #-}
2
3 import Data.Coerce (coerce, Coercible)
4
5 newtype List a = List [a]
6 data T f = T (f Int)
7
8 newtype NT1 a = NT1 (a -> Int)
9 newtype NT2 a = NT2 (a -> Int)
10
11 foo :: T NT1 -> T NT2
12 foo = coerce
13
14 main = return ()