ProgRange<OverlappingIsEq> shouldn't be Eq