Any sufficiently complex type system is indistinguishable from an esolang.