Re: [GHC] #13528: Unqualified export of constructors doesn't work anymore (was: Unqualified export of constructors)