Heterogeneous strongly typed records

[Demos]

at one point I had a little library that would generate "correct" types for sql 
statements by literally preparing them against an empty database and pulling 
out the resulting types. It was a little nuts (doing network stuff at compile 
time, etc) but did work, at least a bit.