diff --git a/Data/Semigroupoid/Ob.hs b/Data/Semigroupoid/Ob.hs
--- a/Data/Semigroupoid/Ob.hs
+++ b/Data/Semigroupoid/Ob.hs
@@ -20,8 +20,11 @@
 instance (Semigroupoid l, Ob r a) => Ob (Coproduct l r) (R a) where
   semiid = R semiid
 
-instance (Bind m, Monad m, Ob (->) a) => Ob (Kleisli m) a where
+instance (Bind m, Monad m) => Ob (Kleisli m) a where
   semiid = Kleisli return
 
-instance (Comonad w, Ob (->) a) => Ob (Cokleisli w) a where
+instance Comonad w => Ob (Cokleisli w) a where
   semiid = Cokleisli extract
+
+instance Ob (->) a where
+  semiid = id
diff --git a/semigroupoid-extras.cabal b/semigroupoid-extras.cabal
--- a/semigroupoid-extras.cabal
+++ b/semigroupoid-extras.cabal
@@ -1,6 +1,6 @@
 name:          semigroupoid-extras
 category:      Control
-version:       0.2
+version:       0.2.1.0
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE