From what program is valof defunctionalized?
We use defunctionalization as program transformation, and see defunctionalized aka data-structure representations as a product of these. But we almost always start off with the program itself using data structures, and punning at that. The natural question to arise is: From what program is valof defunctionalized?