Compile-time SQL datatype generation from PostgreSQL for Haskell