Test.SmallCheck.Laws.Monoid

Monoid laws

leftIdentity

rightIdentity

associativity

mconcat