typelevel-1.2.3: Useful type level operations (type families and related operators).
Type.Relation
type family Super (a :: k) :: [k] Source #
type SemiSuper a = a ': Super a Source #