Added monad associativity law.

Noticed we're not requiring associativity for monads.  Didn't want to just merge this in without some discussion.  Was this just an oversight?  Also, can someone double check it.