Trait

aka type class in Haskell

achieves ad hoc ‹polymorphism in functional programming

see generic