is there an easy way to generate refinements / predicates for specific branches of a Schema.Union? Say I have a union of "type": "A" and "type": "B" (both are literals), and I need a predicate / refinement "isA" - is there a built-in way to achieve that?