diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for general-allocate
 
+## 0.2.1.1 -- 2023-01-17
+
+* Warn about https://gitlab.haskell.org/ghc/ghc/-/issues/16478 in `MonadWithExceptable` haddock
+
 ## 0.2.1.0 -- 2023-01-17
 
 * Make `MonadWithExceptable` a newclass for use with QuantifiedConstraints
diff --git a/general-allocate.cabal b/general-allocate.cabal
--- a/general-allocate.cabal
+++ b/general-allocate.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               general-allocate
-version:            0.2.1.0
+version:            0.2.1.1
 license:            Apache-2.0
 license-file:       LICENSE
 author:             Shea Levy
diff --git a/src/Control/Monad/With.hs b/src/Control/Monad/With.hs
--- a/src/Control/Monad/With.hs
+++ b/src/Control/Monad/With.hs
@@ -141,7 +141,11 @@
   alloc = GeneralAllocate $ \_ → pure $ GeneralAllocated () rel
   rel _ = fin
 
--- | A 'MonadWith' whose exception type can be projected into the Haskell exception hierarchy
+{- | A 'MonadWith' whose exception type can be projected into the Haskell exception hierarchy
+
+Until https://gitlab.haskell.org/ghc/ghc/-/issues/16478 is fixed, you probably want to
+add @{\-# OPTIONS_GHC -Wno-simplifiable-class-constraints #-\}@ to modules using this.
+-}
 class (MonadWith m, Exceptable (WithException m)) ⇒ MonadWithExceptable m
 
 instance (MonadWith m, Exceptable (WithException m)) ⇒ MonadWithExceptable m