improve foldr paragraph