Good type systems don't avoid code duplication in themselves, but they make it possible to write highly polymorphic code safely. More safely, in fact, than less

Good type systems don't avoid code duplication in themselves, but they make it possible to write highly polymorphic code safely. More safely, in fact, than less polymorphic code.