[agentultra]

I dunno. It's not a perfect language but it's sufficient. The bar is pretty low.

Type classes were first proposed around 1989 and Haskell adopted them early on. They made parametric polymorphism tractable. C++ finally adopted Concepts in C++20.

There's literally cruft in any useful language that has been around long enough. Keep searching for that diamond though. It's out there somewhere.