[hgsgm]

The tree is a tree, but the Monad instance is sequencing modifications to the tree.

[consilient]

Sure, Kleisli arrows `a -> m b` are generally best interpreted in a computational sense. But with something like `IO`, the actual objects `m b` are computations as well, and this intuition is not as broadly applicable.