switching to foldr