The opposite of LambdaLifting

----
CategoryRefactoring