_Generic is something of a misnomer; it's more like a special form of overloading than a general way of adding type parameters. C++ is a bit better with templa

_Generic is something of a misnomer; it's more like a special form of overloading than a general way of adding type parameters. C++ is a bit better with templates, but lacks type erasure (hence long compile times) and existential generics (so OOP isn't just syntactic sugar).