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