Make inference on (list a ..) work better.