Functions are a first-class type.