I said “Later interpretations of Monads”, I did not say “monads”. Fielding’s dissertation is fine in itself. The web itself, AtomPub, OData, among others, all

I said “Later interpretations of Monads”, I did not say “monads”. Fielding’s dissertation is fine in itself. The web itself, AtomPub, OData, among others, all follow REST and HATEOAS. Same for Monads: the laws are fine and the implementation in Haskell is fine, but meme tutorials and later implementations miss the mark.