ParentFull threadidnefju·ad-hoc polymorphism is where it shines. Such as the typeclass in Haskell or modules in OCamlView on HN