Subtyping is one form of type polymorphism. Others include: - parametric polymorphism (generics, templates, ...) - ad hoc polymorphism (type classes are the n

Subtyping is one form of type polymorphism. Others include: - parametric polymorphism (generics, templates, ...) - ad hoc polymorphism (type classes are the nicest example) - https://en.wikipedia.org/wiki/Row_polymorphism https://en.wikipedia.org/wiki/Row_polymorphism I think this one is the most relevant for the record discussion.