refactored lift as a move to refactor higher-order functions to be variadic