Fine Examples of Predicative Programming?