https://jaegukim.github.io/posts/foldleftfoldright/