Re: [GHC] #13999: Simple function not inlined within declaration marked NOINLINE