A system to manage databases with SQL, written in Haskell