Any sufficiently complex type system is indistinguishable from an esolang.
---
C++ can remain nonsensical longer than you can remain sane.