diff --git a/constraint-classes.cabal b/constraint-classes.cabal
--- a/constraint-classes.cabal
+++ b/constraint-classes.cabal
@@ -1,7 +1,7 @@
 name:
   constraint-classes
 version:
-  0.5
+  0.5.1
 synopsis:
   Various typeclasses using ConstraintKinds
 description:
diff --git a/src/Control/ConstraintClasses.hs b/src/Control/ConstraintClasses.hs
--- a/src/Control/ConstraintClasses.hs
+++ b/src/Control/ConstraintClasses.hs
@@ -13,6 +13,8 @@
   (
   -- * Constraint
     Dom (..)
+  , DomCartesian (..)
+  , DomClosed (..)
   -- * Base classes
   , CFunctor (..)
   , (<$>:)