semigroupLaws

BaseProperties

semigroupLawsEq

BaseProperties

semiringLaws

BaseProperties

seqA

MonadLaws

someA

MonadLaws

StatefulSummerLaws

algebird

sumIsPreserved

StatefulSummerLaws