Eq

cats

eq

discipline

existsConsistentWithFind

FoldableLaws

existsLazy

FoldableLaws

extractCoflattenIdentity

ComonadLaws

extractFlatMapEntwining

BimonadLaws