Neil Mitchell wrote: > Hi > > lengthNat [1..] > 10 > > Couldn't be clearer, and can be made to work perfectly. If anyone does > want to pick up the lazy naturals work, I can send over the code (or > write it yourself - its not hard!) > Um... isn't a lazy natural just a list with no data, where the list length encodes a number?