On 05/08/13 15:24, Brian Goetz wrote: > I am OK with cutting back on ranges further. range/rangeClosed seem good enough rangeClosed -> closedRange? -Doug