. "In the end what you have is a system where expressions need not have their types declared explicitly, but typing-errors will still be found." . . .