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