diff --git a/Data/Void.hs b/Data/Void.hs
--- a/Data/Void.hs
+++ b/Data/Void.hs
@@ -1,7 +1,7 @@
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Data.Void
--- Copyright   :  (C) 2008 Edward Kmett
+-- Copyright   :  (C) 2008-2011 Edward Kmett
 -- License     :  BSD-style (see the file LICENSE)
 --
 -- Maintainer  :  Edward Kmett <ekmett@gmail.com>
@@ -9,9 +9,11 @@
 -- Portability :  portable
 --
 ----------------------------------------------------------------------------
-module Data.Void (Void, void) where
+module Data.Void (Void, absurd) where
 
 newtype Void = Void Void deriving (Eq,Ord,Show,Read)
 
-void :: Void -> a
-void (Void a) = void a
+-- | Since Void values are logically uninhabited, this witnesses the logical
+-- reasoning tool of 'ex falso quodlibet'.
+absurd :: Void -> a
+absurd (Void a) = absurd a
diff --git a/void.cabal b/void.cabal
--- a/void.cabal
+++ b/void.cabal
@@ -1,6 +1,6 @@
 name:          void
 category:      Data Structures
-version:       0.3
+version:       0.4
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE