We had a lazy pattern
  gres@(gre:_) = blah
and then a test for (null gres).  But I'd forgotten
that a demand for *any* of variables in the pattern
matches *all* of the variables in the entire pattern.
So the test for (null gres) was matching the cons,
which defeats the purpose.