The union of allowed keys.
The type stored at each key.
A Record whose every key is optional. Use it to accept any subset of a known set of keys.
Record
The union of allowed keys.