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

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.