"foo is a variable that happens to have a functional type. main does not even have a functional type." . . . .