RE: [Haskell] SPJ book - big idea behind supercombinator reductionrestriction