"with pkgs.lib" is redundant since it already appears at the top of the module.