Re: [GHC] #15859: Dependent quantification, GHC panic