[Main website]

feature/ad-hoc-polymorphism

In Haskell they are type-class. In C++ they are the concepts. It Math they are class and instances. In OOP, it is a class supporting an interface. It is ad-hoc, static, polymorphism.