Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T9196.hs
1 {-# LANGUAGE RankNTypes #-}
2 module T9196 where
3
4 f :: (forall a. Eq a) => a -> a
5 f x = x
6
7 g :: (Eq a => Ord a) => a -> a
8 g x = x