[Haskell-cafe] Definition of "tail recursive" wrt Folds