shapeless
Type class witnessing that type P is equal to F[T] for some higher kinded type F[_] and type T.
P
F[T]
F[_]
T
Type class witnessing that type
P
is equal toF[T]
for some higher kinded typeF[_]
and typeT
.