[Hugs-users] trivial list foldings require quadratic time?