Add a example of church encoding