Re: [GHC] #9717: More lazy orphan module loading