max package:basic-prelude

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