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