diff --git a/CHANGES b/CHANGES
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,7 @@
+0.3.22
+
+* Add `Void` instances.
+
 0.3.21
 
 * Use time-compat
diff --git a/quickcheck-instances.cabal b/quickcheck-instances.cabal
--- a/quickcheck-instances.cabal
+++ b/quickcheck-instances.cabal
@@ -1,5 +1,5 @@
 Name:                quickcheck-instances
-Version:             0.3.21
+Version:             0.3.22
 
 Synopsis:            Common quickcheck instances
 Description:         QuickCheck instances.
@@ -65,11 +65,12 @@
                        Test.QuickCheck.Instances.UUID
                        Test.QuickCheck.Instances.UnorderedContainers
                        Test.QuickCheck.Instances.Vector
+                       Test.QuickCheck.Instances.Void
   Hs-Source-Dirs:      src
   Build-depends:
-    base       >=4.5   && <4.13,
-    QuickCheck >=2.13  && <2.14,
-    splitmix   >=0.0.2 && <0.1,
+    base       >=4.5    && <4.13,
+    QuickCheck >=2.13.2 && <2.14,
+    splitmix   >=0.0.2  && <0.1,
 
     array                >=0.4.0.0 && <0.6,
     base-compat          >=0.9.3   && <0.11,
@@ -97,7 +98,8 @@
 
   if !impl(ghc >= 7.10)
     build-depends:
-      nats >=1 && <1.2
+      nats >=1 && <1.2,
+      void >=0.7.2 && <0.8
 
   if flag(bytestring-builder)
     build-depends:
diff --git a/src/Test/QuickCheck/Instances.hs b/src/Test/QuickCheck/Instances.hs
--- a/src/Test/QuickCheck/Instances.hs
+++ b/src/Test/QuickCheck/Instances.hs
@@ -46,3 +46,4 @@
 import Test.QuickCheck.Instances.UUID ()
 import Test.QuickCheck.Instances.UnorderedContainers ()
 import Test.QuickCheck.Instances.Vector ()
+import Test.QuickCheck.Instances.Void ()
diff --git a/src/Test/QuickCheck/Instances/Void.hs b/src/Test/QuickCheck/Instances/Void.hs
new file mode 100644
--- /dev/null
+++ b/src/Test/QuickCheck/Instances/Void.hs
@@ -0,0 +1,17 @@
+{-# OPTIONS_GHC -fno-warn-orphans #-}
+module Test.QuickCheck.Instances.Void where
+
+import Test.QuickCheck
+
+import Data.Void (Void, absurd)
+
+-------------------------------------------------------------------------------
+-- void
+-------------------------------------------------------------------------------
+
+instance CoArbitrary Void where
+    coarbitrary = absurd
+
+-- | All @'Void' -> a@ functions are 'absurd'.
+instance Function Void where
+    function _ = functionVoid absurd