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.
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.