Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / T11464.hs
1 {-# LANGUAGE MagicHash, PolyKinds #-}
2
3 module Foo where
4
5 instance Eq (Either a)