What is a "package derivation"? Packages and derivations are two different things in Guix.

Also, Guix supports proprietary software just fine. It's just not in the main official repo. But there are other repos that have it, e.g. nonguix.