We consider fold-right for lists, and its static type.\xa0 The Church encoding for lists makes them into their own fold-right functions