Eq

cats

emptyStreamingTGen

arbitrary

eq

discipline

evalArbitrary

arbitrary

existsConsistentWithFind

FoldableLaws

existsLazy

FoldableLaws

extractCoflattenIdentity

ComonadLaws

extractFlatMapEntwining

BimonadLaws