Re: [GHC] #14657: Quadratic constructor tag allocation