Summons an implicit IdentityBoth[F]
.
The set of law laws that instances of IdentityBoth
must satisfy.
The set of law laws that instances of IdentityBoth
must satisfy.
For all fa
, both(identity, fa)
is equivalent to fa
.
For all fa
, both(fa, identity)
is equivalent to fa
.