The discussion on the PR linked in this post, about upstreaming lazy trees to Nix proper, seems to indicate that some of the benefits also require changing the semantics of the Nix language.
I'm not familiar enough with Nix to understand, but it looks like the performance gains in the blog post might not all materialize to upstream users.
In any case, cool stuff