diff --git a/Data/Validation.hs b/Data/Validation.hs
--- a/Data/Validation.hs
+++ b/Data/Validation.hs
@@ -5,10 +5,9 @@
 (
   AccValidation
 , Validation
-, ValidationT
+, ValidationT(..)
 , Validate(..)
 , FoldValidate(..)
-, runValidationT
 , fromFailure
 , fromSuccess
 , getFailure
diff --git a/Test/Data/Validation.hs b/Test/Data/Validation.hs
new file mode 100644
--- /dev/null
+++ b/Test/Data/Validation.hs
@@ -0,0 +1,55 @@
+module Test.Data.Validation where
+
+import Test.QuickCheck
+import Test.Framework
+import Test.Framework.Providers.QuickCheck2 (testProperty)
+import Data.Validation
+import Control.Functor.Pointed
+
+instance (Arbitrary err, Arbitrary a) =>  Arbitrary (Validation err a) where
+  arbitrary =
+    fmap (either failure success) arbitrary
+
+instance (Arbitrary err, Arbitrary a) =>  Arbitrary (AccValidation err a) where
+  arbitrary =
+    fmap (either failure success) arbitrary
+
+instance (Pointed m, Arbitrary err, Arbitrary a) =>  Arbitrary (ValidationT m err a) where
+  arbitrary =
+    fmap (ValidationT . point) arbitrary
+
+main ::
+  IO ()
+main =
+  defaultMain boardTests
+
+boardTests ::
+  [Test]
+boardTests =
+  [
+    testGroup "Board"
+      [
+        testProperty "fold/success/failure for Validation"       prop_fold_success_failure_Validation
+      , testProperty "fold/success/failure for AccValidation"    prop_fold_success_failure_AccValidation
+      ]
+  ]
+
+prop_fold_success_failure ::
+  (Validate v, FoldValidate v, Eq (v err a)) =>
+  v err a
+  -> Bool
+prop_fold_success_failure v =
+  foldValidate failure success v == v
+
+prop_fold_success_failure_Validation ::
+  Validation Int String
+  -> Bool
+prop_fold_success_failure_Validation =
+  prop_fold_success_failure
+
+prop_fold_success_failure_AccValidation ::
+  AccValidation Int String
+  -> Bool
+prop_fold_success_failure_AccValidation =
+  prop_fold_success_failure
+
diff --git a/Validation.cabal b/Validation.cabal
--- a/Validation.cabal
+++ b/Validation.cabal
@@ -1,5 +1,5 @@
 Name:               Validation
-Version:            0.0.1
+Version:            0.0.2
 License:            BSD3
 License-File:       LICENSE
 Author:             Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ>, Nick Partridge
@@ -29,4 +29,4 @@
 
   Exposed-Modules:
                     Data.Validation
-
+                    , Test.Data.Validation