The type of fields with keys of singleton type K and value type V.
Yields a result encoding the supplied value with the singleton type K' of its key.