now what

[juan_gandhi]

Evaluation order, it's all about initial or "final" "algebras", right? That's about Eilenberg-Moore category and Kleisli category.

Which, incidentally, are initial and terminal objects in the category of adjunctions producing the same monad.

Oh my.