Fold compares irrespective of whether allocation can be elided