Move associativity & bind/ap consistency laws from Monad to Bind.