TemplatePG provides PostgreSQL access from Haskell via the
PostgreSQL protocol. It also provides a higher-level Template
Haskell interface. It eliminates a class of runtime errors by
checking queries against a PostgreSQL database at compile-time.
This also reduces boilerplate code for dealing with query
results, as the type and number of result columns are known at
compile-time.