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