Re: Proposal: Max and Min for Monoid