lift: transform a function into a function within another (usually more general) setting </>