You can’t use pkgs to add more imports, because it itself is added via a module. You may use builtins, because that doesn’t depend on any other module. See here for an extended explanation / discussion.
3 Likes