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