diff --git a/checkers.cabal b/checkers.cabal
--- a/checkers.cabal
+++ b/checkers.cabal
@@ -1,5 +1,5 @@
 Name:                checkers
-Version:             0.4.2
+Version:             0.4.3
 Cabal-Version:       >= 1.6
 Synopsis:            Check properties on standard classes and data structures.
 Category:            Testing
diff --git a/src/Test/QuickCheck/Classes.hs b/src/Test/QuickCheck/Classes.hs
--- a/src/Test/QuickCheck/Classes.hs
+++ b/src/Test/QuickCheck/Classes.hs
@@ -22,7 +22,7 @@
   , applicative, applicativeMorphism, semanticApplicative
   , monad, monadMorphism, semanticMonad, monadFunctor
   , monadApplicative, arrow, arrowChoice, traversable
-  , monadPlus, monadOr
+  , monadPlus, monadOr, alternative
   )
   where
 
@@ -429,6 +429,17 @@
 
    leftZeroP k = (mzero >>= k) =-= mzero
    leftCatchP a b = return a `mplus` b =-= return a
+
+-- | Check Alternative Monoid laws
+alternative :: forall f a. ( Alternative f, Arbitrary a, Arbitrary (f a)
+                           , EqProp (f a), Show (f a)) =>
+               f a -> TestBatch
+alternative = const ( "Alternative laws"
+                    , [ ("left identity", leftId (<|>) (empty :: f a))
+                      , ("right identity", rightId (<|>) (empty :: f a))
+                      , ("associativity", isAssoc ((<|>) :: Binop (f a)))
+                      ]
+                    )
 
 
 arrow :: forall a b c d e.