> Having types specified statically is a recipe for generating untold many different versions of the same thing, plus untold bits of glue between them

Polymorphism is for addressing exactly that objection.