diff --git a/src/Cat.agda b/src/Cat.agda
index 86e6879..80d101d 100644
--- a/src/Cat.agda
+++ b/src/Cat.agda
@@ -8,7 +8,10 @@ open import Cat.Category.Exponential
 open import Cat.Category.CartesianClosed
 open import Cat.Category.NaturalTransformation
 open import Cat.Category.Yoneda
+open import Cat.Category.Monoid
 open import Cat.Category.Monad
+open        Cat.Category.Monad.Monoidal
+open        Cat.Category.Monad.Kleisli
 open import Cat.Category.Monad.Voevodsky
 
 open import Cat.Categories.Sets