max package:clash-prelude

The largest element of a non-empty vector
Value counter wraps around to on a countPredOverflow overflow
Value counter wraps around to on a countPredOverflow overflow