prettyPreExp pp _lvl alvl wrap (Size idx)
  = wrap $ text "size" <+> pp alvl parens idx
prettyPreExp pp _lvl alvl wrap (Size idx)
  = wrap $ text "size" <+> pp alvl parens idx
prettyPreExp pp _lvl alvl wrap (Size idx)
  = wrap $ text "size" <+> pp alvl parens idx