Use funPrec, not topPrec, to parenthesize GADT argument types

A simple oversight. Fixes #16527 (closed).

Merge request reports

Loading