"That type is a function" . . . .