up to getWithFoldl