Re: [GHC] #13684: Core lint error with defer-typed-holes and coerce