For those of you getting initiated into FP and wanting to learn what you can use

Try

for: https://twitter.com/arrow_kt/status/964099546103123969

If only there were language-level error handling like this… https://github.com/Kotlin/KEEP/pull/81

Imo the better approach would be to enable operator overloading for type constructors:

type operator T|S = Either<T,S>

and monad comprehensions like in haskell. That's much more flexible, but we're quickly approaching scala-levels of language complexity

which is not our objective 😄 No linear types, no scoped implicits.