generated at
foldl1
from foldl