diff --git a/Data/Category.hs b/Data/Category.hs
--- a/Data/Category.hs
+++ b/Data/Category.hs
@@ -54,4 +54,5 @@
 
   (Op a) . (Op b) = Op (b . a)
 
-type Kind (cat :: k -> k -> *) = k
+type family Kind (cat :: k -> k -> *) :: * where
+  Kind (cat :: k -> k -> *) = k
diff --git a/Data/Category/Fix.hs b/Data/Category/Fix.hs
--- a/Data/Category/Fix.hs
+++ b/Data/Category/Fix.hs
@@ -26,10 +26,16 @@
 deriving instance Category (f (Fix f)) => Category (Fix f)
 
 -- | @Fix f@ inherits its (co)limits from @f (Fix f)@.
-deriving instance HasInitialObject (f (Fix f)) => HasInitialObject (Fix f)
+instance HasInitialObject (f (Fix f)) => HasInitialObject (Fix f) where
+  type InitialObject (Fix f) = InitialObject (f (Fix f))
+  initialObject = Fix initialObject
+  initialize (Fix a) = Fix (initialize a)
 
 -- | @Fix f@ inherits its (co)limits from @f (Fix f)@.
-deriving instance HasTerminalObject (f (Fix f)) => HasTerminalObject (Fix f)
+instance HasTerminalObject (f (Fix f)) => HasTerminalObject (Fix f) where
+  type TerminalObject (Fix f) = TerminalObject (f (Fix f))
+  terminalObject = Fix terminalObject
+  terminate (Fix a) = Fix (terminate a)
 
 -- | @Fix f@ inherits its (co)limits from @f (Fix f)@.
 instance HasBinaryProducts (f (Fix f)) => HasBinaryProducts (Fix f) where
diff --git a/Data/Category/Limit.hs b/Data/Category/Limit.hs
--- a/Data/Category/Limit.hs
+++ b/Data/Category/Limit.hs
@@ -57,12 +57,12 @@
   , leftAdjointPreservesColimits
   , leftAdjointPreservesColimitsInv
 
-  -- ** Limits of type Void
+  -- * Limits of type Void
   , HasTerminalObject(..)
   , HasInitialObject(..)
   , Zero
 
-  -- ** Limits of type Pair
+  -- * Limits of type Pair
   , HasBinaryProducts(..)
   , ProductFunctor(..)
   , (:*:)(..)
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.8.1
+version:             0.8.2
 synopsis:            Category theory
 
 description:         Data-category is a collection of categories, and some categorical constructions on them.