shapeless
Type class witnessing that type PP is equal to FF[A, B] for some higher kinded type FF[_, _] and type(s) A, B.
PP
FF[A, B]
FF[_, _]
A, B
Type class witnessing that type
PP
is equal toFF[A, B]
for some higher kinded typeFF[_, _]
and type(s)A, B
.