Re: [GHC] #12492: internal error: allocation of 1048608 bytes too large