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