semigroupLaws

BaseProperties

semigroupLawsEq

BaseProperties

semiringLaws

BaseProperties

seqA

MonadLaws

someA

MonadLaws