defunctionalize

not defined yet