Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368a.hs
1 {-# LANGUAGE Rank2Types, KindSignatures #-}
2 module T7368 where
3
4 newtype Bad w = Bad (forall a. (w a -> a))
5 -- Bad :: forall w. (forall a. w a -> a) -> Bad w
6
7 fun :: forall (f :: * -> *). f (Bad f) -> Bool
8 fun (Bad x) = True
9
10 {- f (Bad f) ~ Bad w
11 -->
12 f ~ Bad
13 Bad f ~ w
14 -}