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.
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.