Re: [Haskell-cafe] Odd lack of laziness

On Fri, 22 Jun 2007, Stefan O'Rear wrote:

length' [] = Zero length' (x:xs) = Succ (length xs)

also known as Data.List.genericLength. :-) See also http://darcs.haskell.org/htam/src/Number/PeanoNumber.hs