What is Haskell Relational Record?

[Definition of HRR, presenting its way of abstraction; Motivation for it as a framework]

What HRR is not

[Explain difference from Object-Relational-Mappers like Persistent, or other query generators like Opaleye]

How does it work

[Dip into HRRs template Haskell data type derivation system; show, how relations defined in Haskell are rendered as SQL]

(How detailed should this paragraph be?)