select any [petType instance name] of [petType Keyletters] where selected.id == [Animal handle].id;
[petType instance name].stroke();
This is different than the scenario where you want to stroke all the animals without selecting instances of each subtype.
Examples aside, I know this discussion has cropped up before. It’d be nice to have polymorphic operations.