Is there a standard” name for ad hoc polymorphism (Rust traits, Haskell type classes, Swift protocols, etc.) which is… pithier… than ad hoc polymorphism”?