Eliminate with import nixpkgs