A General Theory of Programming Language Relativity. Functional languages have clearer levels of indirection.