Computes the minimum value of applications of f to all elements of kumi::flatten_all(t).
Computes the type returned by a call to kumi::min_flat.