anchor.diff:                else if lhs.shorthandOnlyDefinesConfig == rhs.shorthandOnlyDefinesConfig
                 then lhs.shorthandOnlyDefinesConfig
                 else throw "A submoduleWith option is declared multiple times with conflicting shorthandOnlyDefinesConfig values";
  +            description =
  +              if lhs.description == null
  +              then rhs.description
  +              else if rhs.description == null
  +              then lhs.description
  +              else if lhs.description == rhs.description
  +              then lhs.description
  +              else throw "A submoduleWith option is declared multiple times with conflicting descriptions";
             };
           };
         };
  
positive.code: 
          freeformType = base._module.freeformType;
  
        in
        mkOptionType rec {
          name = "submodule";
          description = freeformType.description or name;
          check = x: isAttrs x || isFunction x || path.check x;
          merge = loc: defs:
            (base.extendModules {
  
negative.code:         functor = defaultFunctor name // {
            type = types.submoduleWith;
            payload = {
              inherit modules specialArgs shorthandOnlyDefinesConfig description;
            };
            binOp = lhs: rhs: {
              modules = lhs.modules ++ rhs.modules;
  