"- its type is a function;" . . . .