Main takeaway: foldl can be tail recursive.