Re-format.
Generalize decompose template into algebric data type pattern match.
Flatten codes using monadic style.
Weaken prereqs to define function templates about sql-value type.
Change template interfaces to require constructor pair instead of name.
Weaken prereqs to define function templates about sql-value type.
Lift persistable width template definition into top-level.
Update along with weaken record width interface.
Update defined record type interface and template functions.
Update along with defined record type new interfaces.
Update haddocks and PersistableWidth template interface.
Rename PersistableWidth template and export it.
Fix haddock typos.
Generalize defined record type template into single algebric data type.
Rename APIs of persistable record templates.
Export definition to generate persistable templates.
Renamed.