https://thebossmind.com/combinator-in-combinatory-logic/