Re: [GHC] #11408: Delicate solve order