more precise type for sizedRange()