fn arb_range( data: impl Strategy<Value = (PropDatum, PropDatum)> + 'static, ) -> BoxedStrategy<PropRange>