diff --git a/src/Data/Validity/Scientific.hs b/src/Data/Validity/Scientific.hs
--- a/src/Data/Validity/Scientific.hs
+++ b/src/Data/Validity/Scientific.hs
@@ -9,3 +9,8 @@
 -- | A 'Scientific' is valid according to the validity of its coefficient and exponent.
 instance Validity Scientific where
     isValid s = isValid (coefficient s) && isValid (base10Exponent s)
+    validate s =
+        mconcat
+            [ coefficient s <?!> "coefficient"
+            , base10Exponent s <?!> "base10Exponent"
+            ]
diff --git a/validity-scientific.cabal b/validity-scientific.cabal
--- a/validity-scientific.cabal
+++ b/validity-scientific.cabal
@@ -1,5 +1,5 @@
 name: validity-scientific
-version: 0.0.0.0
+version: 0.1.0.0
 cabal-version: >=1.10
 build-type: Simple
 license: MIT
@@ -21,8 +21,8 @@
     exposed-modules:
         Data.Validity.Scientific
     build-depends:
-        base >= 4.7 && <5,
-        validity -any,
+        base >=4.7 && <5,
+        validity >= 0.4 && <0.5,
         scientific -any
     default-language: Haskell2010
     hs-source-dirs: src
