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

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