monoidLaws :: Spec
monoidLaws = do
  prop "Left identity"  prop_leftId
  prop "Right identity" prop_rightId
  prop "Associativity"  prop_assoc

------------------------------------------------------------------------------
-- |Simple tests of ##, #!, #?
monoidLaws :: Spec
monoidLaws = do
  prop "Left identity"  prop_leftId
  prop "Right identity" prop_rightId
  prop "Associativity"  prop_assoc

------------------------------------------------------------------------------
-- |Simple tests of ##, #!, #?
monoidLaws = do
  prop "Left identity"  prop_leftId
  prop "Right identity" prop_rightId
  prop "Associativity"  prop_assoc

------------------------------------------------------------------------------
-- |Simple tests of ##, #!, #?