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