This exercise was to demonstrate and play around with church encodings in a more involved way, and as a way for me to gain experience with python and it's type system. The most interesting thing about ...