use modules for monads

[alexarice]

different monads could be implemented with modules in ocaml as in
https://blog.haberkucharsky.com/technology/2015/07/21/more-monads-in-ocaml.html

This might neaten up some of the code where there are multiple monads being used