the concept in chich a shared subclass or a subclass with multiple parents inherits from all of its parent
when a subclass belongs to more than one superclass
h a function may be applied to any arguments whose types match a type expression involving type variables