Somewhere between C++ concepts and Haskell typeclasses with a hint of Java interfaces. But yes, their primary usage is to require that type parameters exhibit

Somewhere between C++ concepts and Haskell typeclasses with a hint of Java interfaces. But yes, their primary usage is to require that type parameters exhibit a certain set of properties.