If you want a description of the monad laws in Haskell terms you can Google and find like 80 expositions on the topic of various depths. If you want a mathemat

If you want a description of the monad laws in Haskell terms you can Google and find like 80 expositions on the topic of various depths. If you want a mathematical exposition. "Category Theory" by Awodey page 265 is a concise description.