Re: [GHC] #12781: Significantly higher allocation with INLINE vs NOINLINE