anchor.diff:          true ->
               true;
           {false, _CheckStack} = R ->
  -            %ct:pal("Type check failed: ~.0p", [_CheckStack]),
  +            %%ct:pal("Type check failed: ~.0p", [_CheckStack]),
               R
       end.
   
  
positive.code:           CheckStack, _ParseState) ->
      case is_function(Value) of
          false ->
              {false, [{Value, is_not_a_function, Type} | CheckStack]};
          true ->
              {arity, Arity} = erlang:fun_info(Value, arity),
              case Arity =:= length(ParamTypes) of
  
negative.code:                     {false, [{Value, not_same_arity, T} | CheckStack]}
              end;
          false ->
              {false, [{Value, no_tuple, T} | CheckStack]}
      end.
  
  check_tuple_iter([], [], _CheckStack, _ParseState, _Count) ->
  