give Ranged an additional type parameter for #360