Lifting functions and the type of result