. . . "Its type is a function that takes an argument of type Int and returns a value of type Int." .