Comment by 4a3f35b5a

"Monads Explained Quickly, But Mostly Incorrectly" would be a better name.

Isn't what's defined here mostly just a functor?