Computes the maximum value of applications of f to all elements of t.
Computes the type returned by a call to kumi::max.