Test.SmallCheck.Laws.Monoid

Identity

leftIdentity

rightIdentity

Associativity

associativity

associativitySum

mconcat

mconcatProp