Re: [GHC] #13622: Regression: can't export constructor when conflicting, qualified constructor is also in scope