On 9/18/07, apfelmus <apfelmus at quantentunnel.de> wrote: > ...in reality, foldr is (almost) the induction principle for natural numbers! Oh yes, nice observation! Afpelmus, thanks for your thorough answers! regards, Bas