translations of a lambda abstraction to combinations of operators - View it on GitHub