Monad laws - HaskellWiki

wiki.haskell.org wiki.haskell.org