diff --git a/Control/Category/Cartesian/Closed.hs b/Control/Category/Cartesian/Closed.hs
--- a/Control/Category/Cartesian/Closed.hs
+++ b/Control/Category/Cartesian/Closed.hs
@@ -20,7 +20,8 @@
     , unitCoCCC, counitCoCCC
     ) where
 
-import Prelude () -- hiding ((.), id, fst, snd, curry, uncurry)
+import Prelude ()
+import qualified Prelude
 
 import Control.Category
 import Control.Category.Braided
@@ -42,7 +43,13 @@
     -- apply :: (<\>) ~ Exp (<=), (<*>) ~ Product (<=) => ((a <\> b) <*> a) <= b
     apply :: (Product (<=) (Exp (<=) a b) a) <= b
     curry :: ((Product (<=) a b) <= c) -> a <= Exp (<=) b c
-    uncurry :: (a <= (Exp (<=) b c)) -> (Product (<=>) a b <= c)
+    uncurry :: (a <= (Exp (<=) b c)) -> (Product (<=) a b <= c)
+
+instance CCC (->) where
+  type Exp (->) = (->)
+  apply (f,a) = f a
+  curry = Prelude.curry
+  uncurry = Prelude.uncurry
 
 {-# RULES
 "curry apply"         curry apply = id
diff --git a/Control/Category/Monoidal.hs b/Control/Category/Monoidal.hs
--- a/Control/Category/Monoidal.hs
+++ b/Control/Category/Monoidal.hs
@@ -26,10 +26,8 @@
 	, Comonoidal(..)
 	) where
 
--- import Control.Category.Braided
 import Control.Category.Associative
 import Control.Categorical.Bifunctor
-import Data.Void
 
 -- | Denotes that we have some reasonable notion of 'Identity' for a particular 'Bifunctor' in this 'Category'. This
 -- notion is currently used by both 'Monoidal' and 'Comonoidal'
@@ -81,7 +79,7 @@
  --}
 
 instance HasIdentity (->) (,) where
-    type Id (->) (,) = Void
+    type Id (->) (,) = ()
 
 instance Monoidal (->) (,) where
         idl = snd
diff --git a/categories.cabal b/categories.cabal
--- a/categories.cabal
+++ b/categories.cabal
@@ -1,6 +1,6 @@
 name:          categories
 category:      Control
-version:       0.56.0
+version:       0.57.0
 license:       BSD3
 cabal-version: >= 1.2
 license-file:  LICENSE