anchor.diff:      };
     });
   
  -  # gpgModule = types.submodule {
  -  # };
  -
     mailAccountOpts = { name, config, ... }: {
       options = {
         name = mkOption {
  
positive.code:         name = name;
          maildir = mkOptionDefault { path = "${name}"; };
        }
  
        (mkIf (config.flavor == "runbox.com") {
          imap = {
  
negative.code:       };
  
        flavor = mkOption {
          type = types.enum [ "plain" "gmail.com" "runbox.com" ];
          default = "plain";
          description = ''
            Some email providers have peculiar behavior that require
  