Id
cats
InvariantLaws
laws
InvariantTests
discipline
IsEq
laws
IsEqArrow
laws
id
ArbitraryK
invariant
InvariantTests
invariantComposition
InvariantLaws
invariantIdentity
InvariantLaws
iorA
ArbitraryK
EqK
iorArbitrary
arbitrary
iorB
ArbitraryK
EqK
isEqToProp
discipline