Endo

cats

Eq

cats

eq

discipline

existsConsistentWithFind

FoldableLaws

existsLazy

UnorderedFoldableLaws

extractCoflattenIdentity

ComonadLaws

extractFlatMapEntwining

BimonadLaws