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