Move composition law from Applicative to new Apply laws.
Move associativity & bind/ap consistency laws from Monad to Bind.
Merge pull request #586 from S11001001/topic/apply-bind-laws

Apply & Bind laws