“..it’s constantly amazing how much refactoring [in haskell and factor] is simply moving some set of words from one place to another. Type inference means I don’t have to repeat argument types. Being pointfree means I don’t even have to repeat argument names.