[dllthomas]

"The closest you can come is to specialize the monad in context to ((->) e) and then talk about that kind of combination."

I think >> also feels a lot like composing functions when we've specialized the monad to State.

[tel]

Oh, that's an even better example!