It might be quite useful to look at BER MetaOCaml[1] at least. And maybe at some other ways to deal with some problems - like OCaml DSL instead of Haskell monad

It might be quite useful to look at BER MetaOCaml[1] at least. And maybe at some other ways to deal with some problems - like OCaml DSL instead of Haskell monad[2]. [1] http://okmij.org/ftp/ML/MetaOCaml.html http://okmij.org/ftp/ML/MetaOCaml.html [2] http://okmij.org/ftp/tagless-final/nondet-effect.html http://okmij.org/ftp/tagless-final/nondet-effect.html