prettyPreExp _pp _lvl _alvl wrap IndexNil
  = wrap $ text "index Z"
prettyPreExp _pp _lvl _alvl wrap IndexNil
  = wrap $ text "index Z"
prettyPreExp _pp _lvl _alvl wrap IndexNil
  = wrap $ text "index Z"