abstract fun <E : Comparable<E>, T : Iterable<E>> max(expect: Expect<T>): ExtractedFeaturePostStep<T, E>