Type-safe reversal of a record's key-value pairs
Constructing a type-safe
reverseRecord()
function requires a surprisingly difficult return-type declaration.