monadLaws
algebird
MonadLaws
monoidLaws
BaseProperties
monoidLawsEq
BaseProperties