Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T12966.hs
1 {-# LANGUAGE RankNTypes #-}
2 module T12966 where
3 -- This should fail with a proper error message, not a compiler panic.
4 type Maybeify c = forall d. (c d) => ((~) (Maybe d))