Endo

cats

Eq

cats

ExhaustiveCheck

discipline

eq

discipline

existsConsistentWithFind

FoldableLaws

existsLazy

UnorderedFoldableLaws

extractCoflattenIdentity

ComonadLaws

extractFlatMapEntwining

BimonadLaws