Reduce haddock warnings a little bit

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

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)
 

src/Constrained/Generic.hs

@@ -25,10 +25,13 @@ module Constrained.Generic (
   Sum (..),
   (:::),
   SOP,
+  SOPLike(..),
+  SOPOf,
+  ALG,
+  Inject(..),
   ProdOver,
   ConstrOf,
   inject,
-  algebra,
   SumOver,
 ) where
 

src/Constrained/NumOrd.hs

@@ -44,6 +44,7 @@ module Constrained.NumOrd (
   MaybeBounded (..),
   NumLike (..),
   Numeric,
+  Number,
   nubOrd,
   IntW (..),
   OrdW (..),