Uma mônada é apenas um monóide na categoria de endofunitores, qual é o problema?
Quem primeiro disse o seguinte?
Uma mônada é apenas um monóide na categoria de endofunitores, qual é o problema?
E, em uma nota menos importante, isso é verdade e, em caso afirmativo, você poderia dar uma explicação (espero que possa ser entendida por alguém que não tenha muita experiência com Haskell)?