diff --git a/src/Data/Validity/HashMap.hs b/src/Data/Validity/HashMap.hs
--- a/src/Data/Validity/HashMap.hs
+++ b/src/Data/Validity/HashMap.hs
@@ -14,3 +14,4 @@
 -- concerning a 'HashMap', so no more accurate validity instance can be made.
 instance (Hashable k, Validity k, Validity v) => Validity (HashMap k v) where
     isValid m = all isValid (HM.toList m)
+    validate m = HM.toList m <?!> "HashMap elements"
diff --git a/src/Data/Validity/HashSet.hs b/src/Data/Validity/HashSet.hs
--- a/src/Data/Validity/HashSet.hs
+++ b/src/Data/Validity/HashSet.hs
@@ -13,3 +13,4 @@
 -- the underlying 'HashMap' is valid.
 instance (Hashable v, Validity v) => Validity (HashSet v) where
     isValid hs = isValid $ HS.toMap hs
+    validate hs = HS.toMap hs <?!> "HashSet elements"
diff --git a/src/Data/Validity/UnorderedContainers.hs b/src/Data/Validity/UnorderedContainers.hs
--- a/src/Data/Validity/UnorderedContainers.hs
+++ b/src/Data/Validity/UnorderedContainers.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fno-warn-dodgy-exports #-}
 module Data.Validity.UnorderedContainers
     ( module UnorderedContainers
     ) where
diff --git a/validity-unordered-containers.cabal b/validity-unordered-containers.cabal
--- a/validity-unordered-containers.cabal
+++ b/validity-unordered-containers.cabal
@@ -1,5 +1,5 @@
 name: validity-unordered-containers
-version: 0.0.0.0
+version: 0.1.0.0
 cabal-version: >=1.10
 build-type: Simple
 license: MIT
@@ -23,9 +23,9 @@
         Data.Validity.HashMap
         Data.Validity.HashSet
     build-depends:
-        base >= 4.7 && <5,
-        validity >=0.3 && <0.4,
-        unordered-containers >= 0.2.7,
+        base >=4.7 && <5,
+        validity >=0.4 && <0.5,
+        unordered-containers >=0.2.7,
         hashable -any
     default-language: Haskell2010
     hs-source-dirs: src