defunctionalization

not defined yet