Added a law for monad bind to be consistent with applicative apply