Pretty prints a pattern synonym's type; follows the usual
conventions to print a pattern synonym type compactly, yet
unambiguously. See the note on PatSynType and the section on
pattern synonyms in the GHC user's guide for more information.