prettyPreExp pp lvl alvl wrap (Prj idx e)
  = wrap $ prettyTupleIdx idx <+> prettyPreExp pp lvl alvl parens e
prettyPreExp pp lvl alvl wrap (Prj idx e)
  = wrap $ prettyTupleIdx idx <+> prettyPreExp pp lvl alvl parens e
prettyPreExp pp lvl alvl wrap (Prj idx e)
  = wrap $ prettyTupleIdx idx <+> prettyPreExp pp lvl alvl parens e