Wer hat zuerst folgendes gesagt?

Eine Monade ist nur ein Monoid in der Kategorie der Endofunktoren, was ist das Problem?

Und in einem weniger wichtigen Punkt, ist das wahr und wenn ja, könnten Sie eine Erklärung geben (hoffentlich eine, die von jemandem verstanden werden kann, der nicht viel Erfahrung mit Haskell hat)?