[Haskell-cafe] databases in Haskell & type-safety