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