[Haskell-cafe] Monad Laws and Do Notation