foldl for IEs