If you (or anybody else) haven't given up on Scala just yet, have a look at ZIO
It's a fresh, and pragmatic too, take on how to do pure functional programming, but without advanced concepts (like higher-kinded types).
could be (and maybe even has been) ported over to other languages besides Scala