Natural transformations as a basis of control

You don't really need monads

You Don't Need Monads