Data.Constraint.Class1
type SuperClass1 b h
class HasSuperClasses c
type family (as :: [k]) ++ (bs :: [k]) :: [k] where ...
type family FoldConstraints (cs :: [k -> Constraint]) (x :: k) :: Constraint
class Elem c cs
class IsSubset as bs
type family Subset (xs :: [k]) (ys :: [k]) :: Constraint