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 ...

The checks for classes are slower and CPU intensive, so only enable them if you use the classes in question. For example, 489 packages of the 4000 most downloaded packages from PyPI used non-ASCII ...