max package:prelude-compat

The largest element of a non-empty structure.