import foldl' explicitly