shapeless
Type class witnessing that every element of L is of the form FieldType[K, V] where V is an element of M.
L
FieldType[K, V]
V
M
Type class witnessing that every element of
L
is of the formFieldType[K, V]
whereV
is an element ofM
.