Modify EmitTeX's type prettyprinter to use Haskell-ish syntax.