diff --git a/src/Data/Validity/Aeson.hs b/src/Data/Validity/Aeson.hs
--- a/src/Data/Validity/Aeson.hs
+++ b/src/Data/Validity/Aeson.hs
@@ -17,3 +17,9 @@
     isValid (Number s) = isValid s
     isValid (Bool b) = isValid b
     isValid Null = True
+    validate (Object o) = o <?!> "Object"
+    validate (Array a) = a <?!> "Array"
+    validate (String t) = t <?!> "String"
+    validate (Number s) = s <?!> "Number"
+    validate (Bool b) = b <?!> "Bool"
+    validate Null = mempty
diff --git a/validity-aeson.cabal b/validity-aeson.cabal
--- a/validity-aeson.cabal
+++ b/validity-aeson.cabal
@@ -1,5 +1,5 @@
 name: validity-aeson
-version: 0.0.0.0
+version: 0.1.0.0
 cabal-version: >=1.10
 build-type: Simple
 license: MIT
@@ -21,13 +21,13 @@
     exposed-modules:
         Data.Validity.Aeson
     build-depends:
-        base >= 4.7 && <5,
+        base >=4.7 && <5,
         aeson -any,
-        validity >=0.3 && <0.4,
-        validity-text >= 0.1 && < 0.2,
-        validity-unordered-containers >= 0.0 && < 0.1,
-        validity-vector >= 0.0 && < 0.1,
-        validity-scientific >= 0.0 && < 0.1
+        validity >=0.4 && <0.5,
+        validity-text >=0.2 && <0.3,
+        validity-unordered-containers >=0.1 && <0.2,
+        validity-vector >=0.1 && <0.2,
+        validity-scientific >=0.1 && <0.2
     default-language: Haskell2010
     hs-source-dirs: src