> Any examples for hangups of 'smartEq' are greatly appreciated, I couldn't > produce any so far. > Following sequences will hang smartEq. They are both infinite and aperiodic. smartEq (fromList primes) (fromList primes) smartEq (fromList pidigits) (fromList pidigits)