Add a Monoid which allows people to depend on the result of Monoid computation