prettyPreExp pp lvl alvl wrap (PrimApp p a)
  = wrap $ prettyPrim p <+> prettyPreExp pp lvl alvl parens a
prettyPreExp pp lvl alvl wrap (PrimApp p a)
  = wrap $ prettyPrim p <+> prettyPreExp pp lvl alvl parens a
prettyPreExp pp lvl alvl wrap (PrimApp p a)
  = wrap $ prettyPrim p <+> prettyPreExp pp lvl alvl parens a