defunctionalization.mlw 18.3 KB