diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -2,7 +2,8 @@
 
 Spec for testing properties for variant types
 
-[![hspecVariant](https://img.shields.io/badge/hspecVariant-v1.0.0.0-blue.svg?style=plastic)](https://hackage.haskell.org/package/hspecVariant)
+[![hspecVariant](https://img.shields.io/badge/hspecVariant-v1.0.1.0-blue.svg?style=plastic)](https://hackage.haskell.org/package/hspecVariant)
+[![pipeline status](https://gitlab.com/sanjorgek/hspecVariant/badges/master/pipeline.svg)](https://gitlab.com/sanjorgek/hspecVariant/commits/master)
 
 ```haskell
 {-# LANGUAGE TypeSynonymInstances #-}
@@ -22,6 +23,7 @@
 Test
 
 ```haskell
+import Test.QuickCheck
 import Test.Hspec
 import Test.Hspec.Variant
 
diff --git a/hspecVariant.cabal b/hspecVariant.cabal
--- a/hspecVariant.cabal
+++ b/hspecVariant.cabal
@@ -2,8 +2,8 @@
 -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:             1.0.0.0
-synopsis:            Spec for testing properties for variant types
+version:             1.0.1.0
+synopsis:            Spec for testing properties
 description:         Spec for testing properties for variant types. Uses QuickCheckVariant
                      package.
 homepage:            https://github.com/sanjorgek/hspecVariant
@@ -27,7 +27,20 @@
   -- other-modules:
   -- other-extensions:
   build-depends:       base >=4.6 && <5
-                       , QuickCheckVariant >=1 && <2
+                       , QuickCheckVariant >=1.0.1.0 && <2
                        , hspec >=2.2 && <3
   hs-source-dirs:      src
   default-language:    Haskell98
+
+test-suite variant
+  type:                exitcode-stdio-1.0
+  hs-source-dirs:      test
+  main-is:             VariantTest.hs
+  --other-modules:
+  build-depends:       base >=4.6 && <5
+                       , QuickCheckVariant >=1.0.1.0 && <2
+                       , QuickCheck >=2.12 && <2.15
+                       , hspec >=2.2 && <3
+                       , hspecVariant
+  default-language:    Haskell2010
+
diff --git a/src/Test/Hspec/Variant.hs b/src/Test/Hspec/Variant.hs
--- a/src/Test/Hspec/Variant.hs
+++ b/src/Test/Hspec/Variant.hs
@@ -1,7 +1,7 @@
 {-# OPTIONS_GHC -fno-warn-tabs #-}
 {-|
 Module      : Test.Hspec.Variant
-Description : Varaint property spec
+Description : Variant property spec
 Copyright   : (c) Jorge Santiago Alvarez Cuadros, 2015
 License     : GPL-3
 Maintainer  : sanjorgek@ciencias.unam.mx
diff --git a/test/VariantTest.hs b/test/VariantTest.hs
new file mode 100644
--- /dev/null
+++ b/test/VariantTest.hs
@@ -0,0 +1,21 @@
+{-# LANGUAGE TypeSynonymInstances #-}
+import Test.QuickCheck
+import Test.QuickCheck.Variant
+import Test.Hspec
+import Test.Hspec.Variant
+
+type Natural = Integer
+
+instance Variant Natural where
+  invalid = do
+    n <- arbitrary
+    if (n<0) then return n else return ((-1)*(n+1))
+  valid = do
+    n <- arbitrary
+    if (n>=0) then return n else return ((-1)*n)
+
+main::IO ()
+main = hspec $
+  describe "Naturals" $
+    propValid "succ" $
+      \x -> succ (x::Natural) > 0