Optional context for a quantified constraint
Optional context for a quantified constraint

This is a documentation-only fix, addressing Trac #15354.

sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc