demonstration SQL DBMS in Haskell