Re: [GHC] #10287: ApiAnnotations : BooleanFormula construction discards original