defunctionalization.mlw 25.8 KB