C++ templates are totally different feature. You couldn't do this with C++ templates. It was just an example of something that gets very hairy for library impl

C++ templates are totally different feature. You couldn't do this with C++ templates. It was just an example of something that gets very hairy for library implementers but is still quite nice for users.