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, or did I miss something?  Also, can someone double check it.