:: (Foldable t, Monoid a) => t a -> a package:numeric-prelude

The least element of a non-empty structure.
The largest element of a non-empty structure.