Edit: Defunctionalization

Describe this revision: