I've often thought about implementing the ability in dmd to fold together template instances which will generate identical code, but operate on different types. So I'd really put this down as a compiler problem, not one with this pull.