diff --git a/Control/Category/Monoidal.hs b/Control/Category/Monoidal.hs
--- a/Control/Category/Monoidal.hs
+++ b/Control/Category/Monoidal.hs
@@ -31,7 +31,7 @@
 
 -- | 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'
-type family Id k p :: *
+type family Id (k :: * -> * -> *) (p :: * -> * -> *) :: *
 
 {- | A monoidal category. 'idl' and 'idr' are traditionally denoted lambda and rho
  the triangle identity holds:
@@ -40,7 +40,7 @@
 > second idl = first idr . associate
 -}
 
-class Associative k p => Monoidal k p where
+class Associative k p => Monoidal (k :: * -> * -> *) (p :: * -> * -> *) where
   idl :: k (p (Id k p) a) a
   idr :: k (p a (Id k p)) a
 
diff --git a/categories.cabal b/categories.cabal
--- a/categories.cabal
+++ b/categories.cabal
@@ -1,6 +1,6 @@
 name:          categories
 category:      Control
-version:       0.58.0.5
+version:       0.59
 license:       BSD3
 cabal-version: >= 1.2.3
 license-file:  LICENSE