diff --git a/refined.cabal b/refined.cabal
--- a/refined.cabal
+++ b/refined.cabal
@@ -3,7 +3,7 @@
 name:
   refined
 version:
-  0.4.2
+  0.4.2.1
 synopsis:
   Refinement types with static and runtime checking
 description:
diff --git a/src/Refined.hs b/src/Refined.hs
--- a/src/Refined.hs
+++ b/src/Refined.hs
@@ -70,23 +70,27 @@
   , Predicate (validate)
 
     -- * Logical predicates
-  , Not
-  , And
+  , Not(..)
+  , And(..)
   , type (&&)
-  , Or
+  , Or(..)
   , type (||)
 
     -- * Identity predicate
-  , IdPred
+  , IdPred(..)
 
     -- * Numeric predicates
-  , LessThan
-  , GreaterThan
-  , From
-  , To
-  , FromTo
-  , EqualTo
-  , NotEqualTo
+  , LessThan(..)
+  , GreaterThan(..)
+  , From(..)
+  , To(..)
+  , FromTo(..)
+  , NegativeFromTo(..)
+  , EqualTo(..)
+  , NotEqualTo(..)
+  , Odd(..)
+  , Even(..)
+  , DivisibleBy(..)
   , Positive
   , NonPositive
   , Negative
@@ -95,14 +99,14 @@
   , NonZero
 
     -- * Foldable predicates
-  , SizeLessThan
-  , SizeGreaterThan
-  , SizeEqualTo
+  , SizeLessThan(..)
+  , SizeGreaterThan(..)
+  , SizeEqualTo(..)
   , NonEmpty
 
     -- * IsList predicates
-  , Ascending
-  , Descending
+  , Ascending(..)
+  , Descending(..)
 
     -- * Weakening
   , Weaken (weaken)
diff --git a/src/Refined/Internal.hs b/src/Refined/Internal.hs
--- a/src/Refined/Internal.hs
+++ b/src/Refined/Internal.hs
@@ -757,7 +757,6 @@
 --------------------------------------------------------------------------------
 
 -- | A 'Predicate' ensuring that the value is divisible by @n@.
---   That is to say, @m `mod` 'natVal' ('Proxy' @n) '==' 0@
 --
 --   >>> isRight (refine @(DivisibleBy 3) @Int 12)
 --   True