A type-safe Haskell library for relational databases with a composable query DSL and pluggable backend support.