Interesting approach koka-lang.github.io/koka/doc/b