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