Universally quantified equality, isomorphic to ∀A. Equal[F[A]].
Note that equality on A is not required to compare values of F[A].
- Companion:
- object
Universally quantified equality, isomorphic to ∀A. Equal[F[A]].
Note that equality on A is not required to compare values of F[A].