@njms I don't think there is anything wrong written there, it just doesn't really provide the explanation it promises. I think the points it actually makes, about monads being culturally coded as being more difficult than they are and the circumstances which lead to this, are quite important by themselves.