These two phrases:
- A Monad is a burrito/wrapper/taco/type constructor.
- A Monad in X is a monoid in the category of endofunctors of X.
That second one, although technically true, counts as disinformation to me because as you said, you don't need Category Theory to do Haskell.
add a skeleton here at some point
about 1 month ago