Frames.TypeLevel

type family RDelete r rs

type family LAll c ts :: Constraint

type family AllAre a ts :: Constraint

type family HasInstances a cs :: Constraint

type family AllHave cs as :: Constraint