added seq-foldr