Polymorphismus erlaubt, Code für verschiedene Typen oder konkrete Implementierungen zu verwenden.
Beispiele: Interfaces/Subtypen, Generics, Typeclasses, Overloading.