defunctionalization.mlw 25.9 KB