Target implementation of family polymorphism and virtual classes