On Tue, 2004-11-30 at 13:52 +0000, Jules Bean wrote: > In the same sense, you could try > > (map f [1..]) == (map g [1..]) > > and it will return False quickly if they are different, but it will run > forever if they are the same. For some very generous definition of "quickly" :) Bernie.