[Ur] How to serialize/deserialize data structures?

[Adam Chlipala]

Adam Chlipala wrote:
> Artyom Shalkhakov wrote:
>> The question are
>> - what are type families
>> - how to use sql_serialized

Oh, and I think I skipped the second question, but I think if you follow 
my answer to the first, you'll find that you don't need to think 
explicitly about the second.  [sql_injectable_prim] is a type class, and 
so witnesses will be found automatically as needed, just like in Haskell.