prettyPreAcc :: PrettyAcc acc -> Int -> (Doc -> Doc) -> PreOpenAcc acc aenv a -> Doc
prettyPreAcc pp alvl wrap (Let acc1 acc2)
  = wrap 
  $ sep [ hang (text "let a" <> int alvl <+> char '=') 2 $
            pp alvl noParens acc1
        , text "in" <+> pp (alvl + 1) noParens acc2
        ]
prettyPreAcc :: PrettyAcc acc -> Int -> (Doc -> Doc) -> PreOpenAcc acc aenv a -> Doc
prettyPreAcc pp alvl wrap (Let acc1 acc2)
  = wrap 
  $ sep [ hang (text "let a" <> int alvl <+> char '=') 2 $
            pp alvl noParens acc1
        , text "in" <+> pp (alvl + 1) noParens acc2
        ]
prettyPreAcc pp alvl wrap (Let acc1 acc2)
  = wrap 
  $ sep [ hang (text "let a" <> int alvl <+> char '=') 2 $
            pp alvl noParens acc1
        , text "in" <+> pp (alvl + 1) noParens acc2
        ]