Arch-TK - 1874

Any sufficiently complex type system is indistinguishable from an esolang.