A type-safe, non-TH Haskell SQL library and ORM - View it on GitHub