It would matter briefly to functional integer enthusiasts in the lisps, but the lambda() -> lambda(lambda()) implication is highly irrelevant to most other aspects of the various languages, expressions, grammars and machines that. As it is the existential query of a not-function that predicates gate logic and not the existence of the specific not-function that would allow for implicit integer transitions from the null set that is required for graph transitions and so on. It would largely impact NFA logic, but so does trying to apply them to NPC problems in the real world.