Basic DB mapping

[Data type derivation being a pivotal point of HRR, explain more in detail
what HRR does at compile time and what the result looks like]

Full example

[Take a table like e.g. users and explain all the stuff HRR generates via Template Haskell:
the record data type, selectors, projections, and a basic relation that is equivalent to SELECT * FROM]

Projections

[Explain HRRs projections (:: Pi a b) and what they’re useful for]

TypeMap

[How to tell HRR to use custom type mappings, like mappings to different
Haskell string/text or numeric types]