There are a number of SQL libraries. http://hackage.haskell.org/packages/archive/pkg-list.html#ca...

The complaint was that there aren't any mature libraries that go a step further, beyond feeding manually-constructed query strings to the DB connection, preventing injection vulns at the type level, etc. In an OO language this would be an object-relational mapper. I think the functional crowd is still trying to figure out what a "functional-relational mapper" is supposed to look like.