Talk:Monad laws

I changed the do notation style to the more typical Haskell style of "dedent under the do", as used by brittany, Ormolu and hindent. I'd like to share this article whenever a "Haskell is hard because I don't understand monads" objection arises, so I'd like to use the most familiar style. Feel free to revert if you strongly object to it.