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