th-build

More convenient construction of TH ASTs.

The main feature here is implicit conversion of arguments to AST constructors: Tired of writing things like

valD (varP (mkName "foo")) (normalB (appE (varE 'not) (conT 'True))) []

? With th-build:

valD' "foo" (appE' 'not 'True) ()

Hint: Use () for an empty list argument to an autoconverting function, since [] will yield an type ambiguity error.