anchor.diff:  			_ when is_function(ParType) ->
   			      add_type_info(ParType(MappedArgs), Arg, Pid);
   			{f_atom, [M, F, Arity]} ->
  -			    ?debug("T:\n~p\n", [ParType]),
  -			    M1 = case is_function(M) of
  +			      M1 = case is_function(M) of
   				   true -> M(MappedArgs);
   				   _ -> M
   				 end,
  
positive.code: 		[_A0,A1,A2,A3] ->
  		     {f_atom, [try_eval(A1, fun is_atom/1), 
  			      try_eval(A2, fun is_atom/1),
  			      try_eval_length(A3)]}
  	    end
      end.
  
negative.code: type(erlang, spawn_monitor, 3) -> 
      mfa_type();
  type(erlang, spawn_opt, 4) ->
      {[m_atom, f_atom_type(), any, any], any};
  type(erlang, spawn_opt, 5) ->
      {[any, m_atom, f_atom_type(), any, any], any};
  type(erlang, whereis, 1) ->
  