Beautiful ! :-) Could Haskell define this lazy Natural in a more efficient fashion ? It seems like an useful thing to have in a standard library (or is it in one of those ?). -- Jedaï