A lazy map is not just a map whose values are thunks. Consider mapping a function over the values of a very large map …
– I no longer understand what this means!