A modern programming language that makes developers happier.

kotlinlang

Hi Marco!

Union types will cohexist with Either as Unions are unbiased and Either remains relevant for cases where people want monadic right based computations. Also
```Union2&lt;A, A&gt; == A
Union2&lt;A, B&gt; == Union2&lt;B, A&gt;```
Which is very different from what you would expect from Either.
Option most likely will be removed because the only reason it exists today is because you can’t do higher kinded ad-hoc typeclasses for nullable types. In practice nullable types and Option are isomorphic and with new control over compiler plugins we may be able to bridge that gap without Option. Nullable types is always a more performant solution since it requires no boxing.