path: root/testsuite/tests/polykinds/T6021.hs

{-# LANGUAGE KindSignatures, PolyKinds, MultiParamTypeClasses, FlexibleInstances #-}
module T6021 where

class Panic a b
instance Panic (a :: b) b