4 ms·
The tree is a tree, but the Monad instance is sequencing modifications to the tree.
by hgsgm 4y ago
The tree is a tree, but the Monad instance is sequencing modifications to the tree.
- consilient 4y agoSure, 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.