anchor.diff:                      unexpected rg;
                   if not (List.forall2 check ctynames tyargs) then
                       unsupported rg;
  -                (cname.ident.idText, args, ctynames)
  +                (cname.ident.idText, args, List.append tps ctynames)
               | _ -> unexpected rg    
   
           in (x, ar, List.map mldcons_of_cons tcs)
  
positive.code:         let fold1 sigelt (types, ctors) =
              match sigelt with
              | Sig_tycon (x, tps, k, ts, cs, _, rg) -> begin
                  match is_kind_for_mldtype rg k with
                  | Some n ->
                      ((x.ident.idText, tps, cs, n, rg) :: types, ctors)
                  | _ ->
                      unsupported rg
              end
  
negative.code:                     aux [] ar ty
          in
  
          let mldcons_of_cons cname =
              let (c, _) = Map.find cname.ident.idText cs in
              let ctynames, c = strip ar c in
  