You can walk an expression and replace its thunks with the values that those thunks deferred the evaluation of. To do the reverse would require uncomputation.

You can walk an expression and replace its thunks with the values that those thunks deferred the evaluation of. To do the reverse would require uncomputation. You can't turn all the natural numbers back into the expression [1..].