This package contiains types to represent table constraints and interfaces to bind between SQL database values and Haskell records.