+ppr_ty env ctxt_prec ty@(NoteTy (UsgForAll _) _)
+ = maybeParen ctxt_prec fUN_PREC $
+ sep [ ptext SLIT("__fuall") <+> brackets pp_uvars <+> ptext SLIT("=>"),
+ ppr_ty env tOP_PREC sigma
+ ]
+ where
+ (uvars,sigma) = splitUsForAllTys ty
+ pp_uvars = hsep (map ppr uvars)
+