Another interesting thing about Guix is that it compiles everything itself (with an option to outsource the heavy lifting in case you’re on a Raspberry Pi or something). Layers of abstraction not talking to each other properly is a conceptual pet peeve of mine, so I like the idea of everything being visible to the compiler like that.