shapeless
Type class witnessing that type P is equal to F[T, U] for some higher kinded type F[_, _] and types T and U.
P
F[T, U]
F[_, _]
T
U
Type class witnessing that type
P
is equal toF[T, U]
for some higher kinded typeF[_, _]
and typesT
andU
.