Personally, being able to solve problems with the abstractions you can achieve within the language over adding very specific language features to solve them appeals to me more.
Having said that, Arrow has Option: https://arrow-kt.io/docs/apidocs/arrow-core-data/arrow.core/...
Honestly I prefer maybe monads to null coalescing
Honestly I prefer maybe monads to null coalescing