HEqualK

trait HEqualK[F[_]] extends EqualK[F]

Universally quantified heterogeneous equality, isomorphic to ∀A,B. HEqual[F[A], F[B]].

Note that (heterogeneous) equality between A and B is not required to compare F[A] to F[B].

trait EqualK[F]

class Object

trait Matchable

class Any

trait HOrderK[F]

Value members