Can we infer that a branched expression with two different types

A

and

B

has a type

Either<A, B>

and compile it accordingly, by inserting the calls to

left()

and

right(),

with an ΛRROW Meta plug-in? Would that cause any problems?

This is what the upcoming support for union types in meta does https://github.com/arrow-kt/arrow-meta/blob/master/compiler-plugin/src/test/kotlin/arrow/meta/plugins/union/UnionTest.kt