All templates about table
Inlining typed Query
Column projections and basic Relation for Haskell record
Constraint key templates
Column projections
Table metadata type and basic Relation
Basic SQL templates generate rules
Var expression templates
Derived SQL templates from table definitions
Add type class instance against record type
Reify