> All languages are typed, either with rich types, or they are unityped Almost all languages. There is one language that can be typed without a type, the empty

> All languages are typed, either with rich types, or they are unityped Almost all languages. There is one language that can be typed without a type, the empty language. Since the empty language contains no programs, it follows that "Untyped Programs Don't Exist".