Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T6021.hs
1 {-# LANGUAGE KindSignatures, PolyKinds, MultiParamTypeClasses, FlexibleInstances #-}
2 module T6021 where
3
4 class Panic a b
5 instance Panic (a :: b) b