diff --git a/Data/Category/Kleisli.hs b/Data/Category/Kleisli.hs
--- a/Data/Category/Kleisli.hs
+++ b/Data/Category/Kleisli.hs
@@ -36,7 +36,7 @@
 instance (Monad m, Dom m ~ (->), Cod m ~ (->), FunctorA m b (F m c)) => CategoryA (Kleisli (->) m) a b c where
   (Kleisli f) . (Kleisli g) = Kleisli $ \m -> unsafeCoerce (unHaskNat (join m)) . (m % f m) . g m
 newtype instance Funct (Kleisli (->) m) d (FunctO (Kleisli (->) m) d f) (FunctO (Kleisli (->) m) d g) = 
-  KleisliNat { unKleisliNat :: (forall a. CategoryO d (F f a) => Component f g a) }
+  KleisliNat (forall a. CategoryO d (F f a) => Component f g a)
 
 data KleisliAdjF ((~>) :: * -> * -> *) m = KleisliAdjF m
 type instance Dom (KleisliAdjF (~>) m) = (~>)
diff --git a/data-category.cabal b/data-category.cabal
--- a/data-category.cabal
+++ b/data-category.cabal
@@ -1,5 +1,5 @@
 name:                data-category
-version:             0.0.3
+version:             0.0.3.1
 synopsis:            Restricted categories
 description:         
   Data-category is a collection of categories, and some categorical constructions on them.