https://en.wikipedia.org/wiki/Church_encoding

Advanced version (which defines the ADT we use today): https://en.wikipedia.org/wiki/Mogensen%E2%80%93Scott_encodin...