diff --git a/README.md b/README.md
index f54de45f..c124e246 100644
--- a/README.md
+++ b/README.md
@@ -80,7 +80,7 @@ will be true in GHC 8.10.1.
 ## Examples
 
 Make sure you read the [Necessary Language
-Extensions](https://github.com/isovector/polysemy#necessary-language-extensions)
+Extensions](https://github.com/isovector/polysemy#necessary-language-extensions) and add any extras in example source blocks (such as LambdaCase and BlockArguments below)
 before trying these yourself!
 
 Teletype effect:
diff --git a/src/Polysemy/Internal.hs b/src/Polysemy/Internal.hs
index 681b6bf8..ba0e79f3 100644
--- a/src/Polysemy/Internal.hs
+++ b/src/Polysemy/Internal.hs
@@ -103,7 +103,8 @@ import Polysemy.Internal.Union
 --         catching = do
 --           modify (++"-catch")
 --           get
---     catch @String throwing (\ _ -> catching)
+--     -- Without `-fplugin=Polysemy.Plugin` you need `catch @String`
+--     catch throwing (\ _ -> catching)
 -- :}
 --
 -- when handling 'Polysemy.Error.Error' first, state is preserved after error
@@ -113,6 +114,7 @@ import Polysemy.Internal.Union
 --   example
 --     & runError
 --     & fmap (either id id)
+--     -- Without `-fplugin=Polysemy.Plugin` you need `evalState @String`
 --     & evalState ""
 --     & runM
 --     & (print =<<)
@@ -123,6 +125,7 @@ import Polysemy.Internal.Union
 --
 -- >>> :{
 --   example
+--     -- Without `-fplugin=Polysemy.Plugin` you need `evalState @String`
 --     & evalState ""
 --     & runError
 --     & fmap (either id id)