Frames.TypeLevel
type family RDelete r rs where ...
type family LAll c ts :: Constraint where ...
type family AllAre a ts :: Constraint where ...
type family HasInstances a cs :: Constraint where ...
type family AllHave cs as :: Constraint where ...