Not to turn this into a flame war, but there were discussions in the past whether Nix should have been a DSL embedded in, say, Haskell. IIRC, you felt okay about it being a standalone DSL, do you still feel the same way? P.S. Yes, I know about Guix, but it's written in (a uni-typed) Scheme.