Re: [GHC] #8386: AMP warning on "hiding (join)"