Actually, you were right. The process has no trouble consuming a gigabyte even! This is a staggering amount of memory for a test case. Maybe adding a 'seq' here and there will reduce that significantly? Or perhaps sized QuickCheck generators would yield smaller data; if that causes the trouble? I'll look into it ... Peter