For what it's worth, I'm writing an sexpr haskell -> vanilla haskell converter, so I built an AST with haskell-src-exts and use the pretty printer to output haskell. I can rewrite (* 1 2 3) to 1 * 2 * 3, or (-> a b c d) to a -> b -> c -> d, and thus associativity is preserved. Pretty nice. Anyway, thanks for your awesome library. :-)