Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T12083b.hs
1 {-# LANGUAGE GADTs #-}
2
3 module T12083b where
4
5 class Class a where
6 test :: a -> (Eq a => r) -> r
7
8 data P a b where
9 Con :: (Class a, a ~ b) => P a b