[Haskell] SPJ book - big idea behind supercombinator reductionrestriction

[Simon Peyton-Jones]

| Is it crucial just for reasons of efficiency - and in actual fact it's
| entirely possible, albeit inefficient, to instantiate one variable at
a
| time? 

That's exactly right.

Simon