This proposal is literally about making it easier for ordinary code to be written without defining new generic types or iterators.