Add example of foldl, also for explicit type convertion