My empirical evidence is against #1: up-front productive learning beats permanent uncertainty.<p>- I can fold a list, but what about other types? Which of the similarly or identically named functions dispersed among a bewildering number of library modules is the right one? Are they any different?<p>- I can fold a Foldable? What is it? Let&#x27;s find a tutorial about Foldable. Ooh, nice! That takes care of folding anything that can be folded! If I&#x27;m not folding a list I only need to find where the relevant Foldable instance is (very easy) or to write one myself (reasonably easy).