Can we infer that a branched expression with two d...

# arrow-meta

[melatonina]

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?

[raulraja]

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