The return type of lift is a function and the implementation is just a lambda.
Is not different of saying: val f = (x: Int) => x + 1
Thus, maybeA is just the name that was given to the input of the function, and since we already told the compiler the return would be Option[A] => Option[B] then it knows that maybeA is a Option[A]