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
PPis equal toFF[A]for some higher kinded typeFF[_]and type(s)A.