The Church encoding represents data as their own fold-right functions