Test.SmallCheck.Laws.Monad

Monad laws

associativity

associativitySum