Any sufficiently complex type system is indistinguishable from an esolang.

---

C++ can remain nonsensical longer than you can remain sane.