Re: [GHC] #13640: Core lint error with deferred type holes