This looks pretty similar to interaction combinators:

1. https://en.wikipedia.org/wiki/Interaction_nets#Interaction_c...

2. https://github.com/HigherOrderCO/Bend