Id

cats

InvariantLaws

laws

InvariantTests

discipline

IsEq

laws

IsEqArrow

laws

invariant

InvariantTests

invariantComposition

InvariantLaws

invariantIdentity

InvariantLaws

iorArbitrary

arbitrary

isEqToProp

discipline