type ('a, 'b, 'c) continuation = ('a -> 'b) -> 'c;;
If you want to see how to parameterize the definition of the `tree_monadize` function, so that you don't have to keep rewriting it for each new monad, see [this code](/code/tree_monadize.ml).
type ('a, 'b, 'c) continuation = ('a -> 'b) -> 'c;;
If you want to see how to parameterize the definition of the `tree_monadize` function, so that you don't have to keep rewriting it for each new monad, see [this code](/code/tree_monadize.ml).