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 ...