Re: [GHC] #15943: "ASSERT failed" with quantified constraints