Writing abstract functions is usually easier than writing concrete functions, because there are fewer ways things can fit together that look anything like corre

Writing abstract functions is usually easier than writing concrete functions, because there are fewer ways things can fit together that look anything like correct. (Abstract in this way, in this kind of context...)