ArrowKt is also worth a mention: https://arrow-kt.io/learn/typed-errors/