Eta-expand the Simplifier

Closed Simon Peyton Jones requested to merge wip/T18202-simplifier into master

This small MR does eta-expansion for the Simplifier's monad.

It needs better commenting but I want to see the perf effect first. I think it's a win of about 2%, which would be great.

Edited by Ben Gamari

Merge request reports