diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -2,8 +2,11 @@
 
 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)
+
 ```haskell
 {-# LANGUAGE TypeSynonymInstances #-}
+import Test.QuickCheck.Variant
 
 type Natural = Integer
 
@@ -19,9 +22,24 @@
 Test
 
 ```haskell
+import Test.Hspec
+import Test.Hspec.Variant
+
 main::IO ()
 main = hspec $
   describe "Naturals" $
     propValid "succ" $
       \x -> succ (x::Natural) > 0
 ```
+
+## More badges
+
+[![QuickCheckVariant](https://img.shields.io/badge/winter-is%20here-blue.svg)](http://sanjorgek.com/hspecVariant/)
+
+[![forthebadge](http://forthebadge.com/images/badges/built-with-science.svg)](http://sanjorgek.com/hspecVariant/)
+
+[![forthebadge](http://forthebadge.com/images/badges/you-didnt-ask-for-this.svg)](http://sanjorgek.com/hspecVariant/)
+
+[![forthebadge](http://forthebadge.com/images/badges/thats-how-they-get-you.svg)](http://sanjorgek.com/hspecVariant/)
+
+[![forthebadge](http://forthebadge.com/images/badges/its-not-a-lie-if-you-believe-it.svg)](http://sanjorgek.com/hspecVariant/)
diff --git a/hspecVariant.cabal b/hspecVariant.cabal
--- a/hspecVariant.cabal
+++ b/hspecVariant.cabal
@@ -2,16 +2,17 @@
 -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:             0.1.0.1
+version:             1.0.0.0
 synopsis:            Spec for testing properties for variant types
-description:         Spec for testing properties for variant types
+description:         Spec for testing properties for variant types. Uses QuickCheckVariant
+                     package.
 homepage:            https://github.com/sanjorgek/hspecVariant
 license:             GPL-3
 license-file:        LICENSE
 author:              Jorge Santiago Alvarez Cuadros
 maintainer:          sanjorgek@ciencias.unam.mx
 bug-reports:         https://github.com/sanjorgek/hspecVariant/issues
-copyright:           (c) Jorge Santiago Alvarez Cuadros    
+copyright:           (c) Jorge Santiago Alvarez Cuadros
 category:            Testing
 build-type:          Simple
 extra-source-files:  README.md
@@ -23,10 +24,10 @@
 
 library
   exposed-modules:     Test.Hspec.Variant
-  -- other-modules:       
-  -- other-extensions:    
+  -- other-modules:
+  -- other-extensions:
   build-depends:       base >=4.6 && <5
-                       , QuickCheckVariant ==0.2.0.0
+                       , QuickCheckVariant >=1 && <2
                        , hspec >=2.2 && <3
   hs-source-dirs:      src
   default-language:    Haskell98
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
@@ -16,10 +16,10 @@
 
 -- |Is a shorcut for
 -- > it ".." $ propertyValid $ ..
-propValid :: (VarTesteable prop) => String -> prop -> Spec
+propValid :: (VarTestable prop) => String -> prop -> Spec
 propValid s = it s . propertyValid
 
 -- |Is a shorcut for
 -- > it ".." $ propertyInvalid $ ..
-propInvalid :: (VarTesteable prop) => String -> prop -> Spec
+propInvalid :: (VarTestable prop) => String -> prop -> Spec
 propInvalid s = it s . propertyInvalid