. . . "What type is a function?" .