3.2.1. Defunctionalization

TODO