typelevel-1.2.2: src/Type/Relation.hs
{-# LANGUAGE PolyKinds #-}
module Type.Relation where
type family Super (a :: k) :: [k]
type SemiSuper a = a ': Super a
{-# LANGUAGE PolyKinds #-}
module Type.Relation where
type family Super (a :: k) :: [k]
type SemiSuper a = a ': Super a