f x = f' 0 x where f' acc [] = acc f acc (x:xs) = f' (x+acc) xs why are we allowed to rebind f in the where clause? this is clearly a typo (in this instance) but it seems really strange to me that this would be allowed. -- Hal Daume III "Computer science is no more about computers | hdaume@isi.edu than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume