+ bind (u:'a Monad) (f: 'a -> 'b Monad): 'b Monad
+ tree\_monadizer (u:'a Tree) (f: 'a -> 'b Monad): 'b Tree Monad
+
+Comparing these types makes it clear that `tree\_monadizer` provides a
+way to distribute an arbitrary monad M across the leaves of any tree to
+form a new tree inside an M box.
+
+The more general answer is that each of those `tree\_monadize`
+functions is adding a Tree monad *layer* to a pre-existing Reader (and
+so on) monad. We discuss that further here: [[Monad Transformers]].