Has it been proved in the literature that a tree-like structure built from a given monad is itself a monad?

For a particular application area, I found a need for a "monadic tree", defined essentially as follows:Let M be a monad (as in functional programming). Let an MTree[E] be the least fixed point (in...

03 March 2015 5,829 6 View