Monad laws

An article for object-oriented programmers. This article is an instalment in an article series about monads. Just as functors must obey the functor laws, monads must follow the monad laws. When looked at from the right angle, these are intuitive and reasonable rules: identity and associativity.