This is according to the blog http://h2.jaguarpaw.co.uk/posts/foldl-traverses-state-foldr-traverses-anything/
