postgresql-typed-0.5.0: A PostgreSQL library with compile-time SQL type inference and optional HDBC backend