{ config, lib, ... }: {
  options.hardcodedUsers = lib.mkOption {
    type = lib.types.attrsOf (lib.types.submodule (mod: {
      options = {
        users = lib.mkOption {
          type = lib.types.attrsOf (lib.types.submodule {});
          default = {};
        };
        declarativeUsers = lib.mkOption {
          type = config.contracts.declarativeUsers.provider;
          default = null;
        };
      };
    }));
    default = {};
  };
  config.hardcodedUsers.default.declarativeUsers.output = {
    inherit (config.hardcodedUsers.default) users;
  };
}