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