Explain better how Default TH works

[tomjaguarpaw]

Saurabh gave a nice description of how Default works. We could use something like that in the docs:

tomjaguarpaw/haskell-opaleye#225 (comment)