Quick section about foldr/build