Fix egregious back-to-front case for argOneShots
Improve simple-minded boxity analysis for function bodies
Back out of "Note [Used should win]" temporarily
Comments