diff --git a/src/Constrained/Base.hs b/src/Constrained/Base.hs
index 62fa7db..e63724c 100644
--- a/src/Constrained/Base.hs
+++ b/src/Constrained/Base.hs
@@ -32,6 +32,7 @@ module Constrained.Base (
   pattern (:<:),
   pattern (:>:),
   pattern Unary,
+  Ctx,
   toCtx,
   flipCtx,
   fromListCtx,
@@ -88,6 +89,7 @@ module Constrained.Base (
   fromForAllSpec,
   Fun (..),
   BaseW (..),
+  Deps,
 ) where
 
 import Constrained.AbstractSyntax
diff --git a/src/Constrained/GenT.hs b/src/Constrained/GenT.hs
index 39d5bfd..aabc608 100644
--- a/src/Constrained/GenT.hs
+++ b/src/Constrained/GenT.hs
@@ -358,6 +358,7 @@ scaleT sc (GenT gen) = GenT $ \mode msgs -> scale sc $ gen mode msgs
 getMode :: Applicative m => GenT m GenMode
 getMode = GenT $ \mode _ -> pure (pure mode)
 
+-- | Get the current stack of `explain` above you
 getMessages :: Applicative m => GenT m [NonEmpty String]
 getMessages = GenT $ \_ msgs -> pure (pure msgs)
 
diff --git a/src/Constrained/Generic.hs b/src/Constrained/Generic.hs
index f5dfabe..5e68faf 100644
--- a/src/Constrained/Generic.hs
+++ b/src/Constrained/Generic.hs
@@ -25,10 +25,13 @@ module Constrained.Generic (
   Sum (..),
   (:::),
   SOP,
+  SOPLike(..),
+  SOPOf,
+  ALG,
+  Inject(..),
   ProdOver,
   ConstrOf,
   inject,
-  algebra,
   SumOver,
 ) where
 
diff --git a/src/Constrained/NumOrd.hs b/src/Constrained/NumOrd.hs
index 9782873..c7d8a4d 100644
--- a/src/Constrained/NumOrd.hs
+++ b/src/Constrained/NumOrd.hs
@@ -44,6 +44,7 @@ module Constrained.NumOrd (
   MaybeBounded (..),
   NumLike (..),
   Numeric,
+  Number,
   nubOrd,
   IntW (..),
   OrdW (..),