The Church encoding represents data as their own fold-right functions
See All 179 Episodes of "Iowa Type Theory Commute"