Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail217.hs
1 -- Test we can't hide cycles with type synonyms
2 {-# LANGUAGE ConstraintKinds, MultiParamTypeClasses, UndecidableInstances #-}
3 module TcFail where
4
5 type Aish = A
6
7 class Aish a => A a where