https://en.wikipedia.org/wiki/Combinatory_logic
https://stackoverflow.com/questions/tagged/combinatory-logic