anchor.diff:                {atom,0,Type},
                 TypeParams]};
           false ->
  -            {type, 0, Type, TypeParams}
  +            {type, 0, Type,
  +             maybe_remote_type(TypeParams, InternalTypes)}
       end.
   
   fix_pool_sp(Sp, IT)->
       fix_sp(Sp, IT, 0,
  -           fun([{type, _, pid, []} | OtherArgs])->
  +           fun([_pidType | OtherArgs])->
                      [{type,0,worker,[]} | tmap(OtherArgs, IT)]
              end).
   %% -spec delete_vclock(worker(),
  
positive.code: 
  fix_pool_auto_sp(Sp, IT)->
      fix_sp(Sp, IT, 1,
             fun([{type, _, pid, []} | OtherArgs])->
                     tmap(OtherArgs, IT)
             end).
  
  
negative.code:               [{type,_,'fun',
                  [{type,_,product, ArgTypes},
                   ResType]}]}}, InternalTypes, DArity, ArgUpd)->
  %    io:format("##########~p~n", [A]),
      {attribute,0,spec,
       {{Fun, Arity-DArity},
        [{type,0,'fun',
  