Provide Monoid
Provide SMLMonadsSum, an instance of Monoid.
Provide SMLMonadsProduct, an instance of Monoid.