That would be great! But do we have evidence of this user-written code
that benefits? So far I have only seen relevant improvement due to
list-fusion a left-foldish function.
I was under the impression that the transformation was much more general than that, improving various recursive forms. Was I wrong? But aside from that, I would be astonished if the library authors were the only ones writing left-accumulating folds!