Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T8034.hs
1 {-# LANGUAGE TypeFamilies #-}
2 module T8034 where
3
4 class C a where
5 type F a
6 foo :: F a -> F a