diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,6 +4,12 @@
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/)
 
+## [0.1.5.1] - 2023-06-28
+
+### Added
+
+ - Make some types potentially more general by removing redundant constraints
+
 ## [0.1.5.0] - 2022-11-15
 
 ### Added
diff --git a/hercules-ci-api-core.cabal b/hercules-ci-api-core.cabal
--- a/hercules-ci-api-core.cabal
+++ b/hercules-ci-api-core.cabal
@@ -1,7 +1,7 @@
 cabal-version: 1.12
 
 name:           hercules-ci-api-core
-version:        0.1.5.0
+version:        0.1.5.1
 synopsis:       Types and convenience modules use across Hercules CI API packages
 category:       API, CI, Testing, DevOps, Nix
 homepage:       https://github.com/hercules-ci/hercules-ci-agent#readme
diff --git a/src/Hercules/API/Servant.hs b/src/Hercules/API/Servant.hs
--- a/src/Hercules/API/Servant.hs
+++ b/src/Hercules/API/Servant.hs
@@ -30,7 +30,7 @@
 -- Ideally, this functionality would be built into a new combinator.
 useApi ::
   forall subapi api mode.
-  (GenericServant api mode, GenericServant subapi mode) =>
+  (GenericServant subapi mode) =>
   (api mode -> ToServant subapi mode) ->
   api mode ->
   subapi mode
@@ -40,7 +40,7 @@
 -- subapis.
 useApiE ::
   forall subapi api mode a.
-  (GenericServant (api a) mode, GenericServant (subapi a) mode) =>
+  (GenericServant (subapi a) mode) =>
   (api a mode -> ToServant (subapi a) mode) ->
   api a mode ->
   subapi a mode
@@ -49,7 +49,7 @@
 -- | @flip 'useApi'
 enterApi ::
   forall subapi api mode.
-  (GenericServant api mode, GenericServant subapi mode) =>
+  (GenericServant subapi mode) =>
   api mode ->
   (api mode -> ToServant subapi mode) ->
   subapi mode
@@ -58,7 +58,7 @@
 -- | @flip 'useApiE'
 enterApiE ::
   forall subapi api mode a.
-  (GenericServant (api a) mode, GenericServant (subapi a) mode) =>
+  (GenericServant (subapi a) mode) =>
   api a mode ->
   (api a mode -> ToServant (subapi a) mode) ->
   subapi a mode