<div dir="auto">GHC's inliner has a notion of "interesting argument" it uses to encourage inlining of functions called with (I think) dictionary arguments. I think another class of argument is very interesting, by being very boring. Any argument that looks like either<div dir="auto"><br></div><div dir="auto">\ _ ... (Con _ ... x ... _ ) ... _ -> coerce x</div><div dir="auto"><br></div><div dir="auto">or</div><div dir="auto"><br></div><div dir="auto">\ _ ... _ -> k</div><div dir="auto"><br></div><div dir="auto">Has a pretty good chance of doing a lot of good when inlined, perhaps plugging a space leak. Would it make sense to try to identify such functions and consider them interesting for inlining?</div></div>