Explicitly merge a union type to a supertype (which might not be a union type itself).
Explicitly merge a union type to a supertype (which might not be a union type itself).
This needs evidence that A <: B.
(unionOps: StringAdd).self
(unionOps: StringFormat).self
(unionOps: ArrowAssoc[UnionOps[A]]).x
(Since version 2.10.0) Use leftOfArrow instead
(unionOps: Ensuring[UnionOps[A]]).x
(Since version 2.10.0) Use resultOfEnsuring instead
Operations on union types.