1. https://en.wikipedia.org/wiki/Interaction_nets#Interaction_c...
2. https://github.com/HigherOrderCO/Bend