MonadLaws

algebird

monadLaws

MonadLaws

monoidLaws

BaseProperties

monoidLawsEq

BaseProperties