b'
What is fold-right for a natural number?\\xa0 How do we define addition with this?\\xa0 The problem of inefficient predecessor.