[tel]

I kind of agree with this... In many monads binding creates a time-dependent sequentiality!

But there are some that do not. For instance, the "reverse state monad" would not make sense with 'bind' named 'then' since... as the name implies, state flows backwards through time in it!