Type-safe, high-level SQL DSL, embedded in Haskell - View it on GitHub