On Wednesday, 6 July 2022 at 01:28:32 UTC, H. S. Teoh wrote: > In fact, I wonder if the current map couldn't be extended to > handle this. Yes, it definitely could (my second version does this). I guess one downside is that several other range algorithms could do with the same change (rather than using bind which requires no change).