Frames.TypeLevel

type family AllAre a ts :: Constraint where ...