Databass: Type safe relational algebra EDSL in Haskell
blog.josephmorag.com