Whoa! That's cool! I've never thought to do that. :) Yeah you're right, this is a fine example of the power of D's templates. :)

I wonder, can that trick be used recursively? I.e. if I have a range of ranges of ranges, of unequal but comparable types, could I write equal!(equal!equal)(roror) or something to that effect?