Monoid and Monad laws extend Semigroup and Chain laws, respectively.