[smabie]

Look, functors (and therefore monads as well) are closed under fmap. That should be the end of the story.

[kerkeslager]

It's pretty bizarre to assert that structures made up by some mathematician in a void should be the basis of a programming language intended to solve real-world problems, especially in response to giving real-world reasons for why it is the way it is.