Bizarre that this fellow grimaces at "type erasure". That's the correct way to polymorphism!