On: I Was Wrong about Nix

[diffeomorphism]

That looks almost identical to the Scheme one with the only real difference being foo=bar; vs (foo bar). Hardly enough of a difference to change anything "a lot" either way.