My guess is that in OO you are typically only parameterising `this`, and therefore only talking about one facet of the domain. Family polymorphism (or virtual c

My guess is that in OO you are typically only parameterising `this`, and therefore only talking about one facet of the domain. Family polymorphism (or virtual classes) provide a way around this...