diff --git a/effectful-core/src/Effectful/Dispatch/Dynamic.hs b/effectful-core/src/Effectful/Dispatch/Dynamic.hs
index 768fda6..68e7ef7 100644
--- a/effectful-core/src/Effectful/Dispatch/Dynamic.hs
+++ b/effectful-core/src/Effectful/Dispatch/Dynamic.hs
@@ -357,7 +357,7 @@ import Effectful.Internal.Utils
 -- >>> :set -XFunctionalDependencies
 --
 -- >>> :{
---   class Monad m => MonadInput i m | i -> m where
+--   class Monad m => MonadInput i m | m -> i where
 --     input :: m i
 -- :}
 --
@@ -371,7 +371,7 @@ import Effectful.Internal.Utils
 -- ...
 -- ...Illegal instance declaration for ‘MonadInput i (Eff es)’...
 -- ...  The liberal coverage condition fails in class ‘MonadInput’...
--- ...    for functional dependency: ‘i -> m’...
+-- ...    for functional dependency: ‘m -> i’...
 -- ...
 --
 -- However, there exists a [dirty