+ String and StringBuilder as Foldr instances.