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