Clr.Inheritance
type family SuperTypes (t :: Type) :: [Type]
type family SuperTypesL (ts :: [Type]) :: [[Type]] where ...
type family WithAllSuperTypes (t :: Type) :: [Type] where ...
type family WithAllSuperTypes' (ts :: [Type]) :: [[Type]] where ...
type family Implements (t1 :: Type) (t2 :: Type) :: Bool where ...
type family IsValueType (a :: Type) :: Bool where ...
type family ResolveBaseType (t :: Type) (m :: Type) :: Type where ...
type family ResolveBaseType' (ts :: [Type]) (m :: Type) :: Type where ...