Show parentheses when printing type (forall x. T1) T2 (#8428)

Patch by klao