[Haskell-cafe] Re: HasCallStack constraint for maximum in Prelude?

On Wed, Mar 25, 2026 at 11:19:20AM +0100, Olaf Klinke via Haskell-Cafe wrote:

For (Bounded a, Ord a) one should replace maximum by an ordinary fold, given a suitable newtype wrapper with a Monoid instance, e.g.

(Ord a, Bounded a) => Monoid (Data.Semigroup.Max a)

For a Semigroup surely it doesn't need Bounded? (A Monoid would need Bounded). Tom