Add ACID guarantees to any serializable Haskell data structure

This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type.