Applications and libraries/Database interfaces/CoddFish
CoddFish is contained by the Pure Project and written by Alexandra Silva and Joost Visser. It is another type safe and declarative approach to database management in Haskell (I mean another than HaskellDB). It is not able yet to achieve persistence by connecting to (real-life) database management systems. To achieve type safety, it uses HList --- a Haskell library for strongly typed heterogeneous collections.