StatefulSummerLaws

algebird

semigroupLaws

BaseProperties

semigroupLawsEq

BaseProperties

semigroupLawsEquiv

BaseProperties

semigroupSumWorks

BaseProperties

semiringLaws

BaseProperties

seqA

MonadLaws

someA

MonadLaws

sumIsPreserved

StatefulSummerLaws