diff --git a/src/Constrained/API.hs b/src/Constrained/API.hs
index 9d84315..c89dbf7 100644
--- a/src/Constrained/API.hs
+++ b/src/Constrained/API.hs
@@ -17,6 +17,7 @@ module Constrained.API (
   HasGenHint (..),
   Sized (..),
   NumLike (..),
+  HasDivision (..),
   GenericallyInstantiated,
   IsPred,
   Logic,
diff --git a/src/Constrained/NumOrd.hs b/src/Constrained/NumOrd.hs
index c7d8a4d..18a5498 100644
--- a/src/Constrained/NumOrd.hs
+++ b/src/Constrained/NumOrd.hs
@@ -43,6 +43,7 @@ module Constrained.NumOrd (
   OrdLike (..),
   MaybeBounded (..),
   NumLike (..),
+  HasDivision (..),
   Numeric,
   Number,
   nubOrd,