Concepts
Binding between SQL values and Haskell records
Constraints used for RecordFromSql
inference
Modules which provide proof objects
Table constraint specified by keys
Convert between Haskell type and list of SQL type
Convert from list of SQL type
Convert into list of SQL type