anchor.diff:      }
     }
     
  +  
     /*
      * When a functionTypedFormalParameter gets a abstractType, it needs to check if it matches a functionType with the same number of parameters.
      * If so bind these function parameters to the arguments and bind the return type.
  
positive.code:     foreach(prefixIdent).update((AbstractType alpha) {
        TypeIdentifier alphaPropertyIdent = new PropertyTypeIdentifier(alpha, new Name.FromIdentifier(n.identifier));
        if (alpha is NominalType && alpha.genericMap != null)
          subsetConstraintWithBind(alphaPropertyIdent, nodeIdent, alpha.getGenericTypeMap(genericMapGenerator)); 
        else
          subsetConstraint(alphaPropertyIdent, nodeIdent);
      });
  
negative.code:     foreach(targetIdent).update((AbstractType alpha) {
        TypeIdentifier alphaPropertyIdent = new PropertyTypeIdentifier(alpha, new Name.FromIdentifier(n.propertyName));
        if (alpha is NominalType && alpha.genericMap != null)
          subsetConstraint(alphaPropertyIdent, nodeIdent, binds: alpha.getGenericTypeMap(genericMapGenerator)); 
        else
          subsetConstraint(alphaPropertyIdent, nodeIdent);
      });
  