Any sufficiently advanced type system is indistinguishable from an interpreter!