diff --git a/haskell/lambda-pi/src/Language/LambdaPi/Impl/Foil.hs b/haskell/lambda-pi/src/Language/LambdaPi/Impl/Foil.hs
index b6380eec..dafd63fa 100644
--- a/haskell/lambda-pi/src/Language/LambdaPi/Impl/Foil.hs
+++ b/haskell/lambda-pi/src/Language/LambdaPi/Impl/Foil.hs
@@ -50,7 +50,7 @@ import           Unsafe.Coerce                   (unsafeCoerce)
 -- $setup
 -- >>> :set -XOverloadedStrings
 -- >>> :set -XDataKinds
--- import Control.Monad.Foil
+-- >>> import Control.Monad.Foil
 
 -- | Type of scope-safe \(\lambda\Pi\)-terms with pairs.
 data Expr n where
diff --git a/haskell/lambda-pi/src/Language/LambdaPi/Impl/FreeFoil.hs b/haskell/lambda-pi/src/Language/LambdaPi/Impl/FreeFoil.hs
index e8b955c5..0ff7f70f 100644
--- a/haskell/lambda-pi/src/Language/LambdaPi/Impl/FreeFoil.hs
+++ b/haskell/lambda-pi/src/Language/LambdaPi/Impl/FreeFoil.hs
@@ -39,6 +39,7 @@ import           System.Exit                     (exitFailure)
 
 -- $setup
 -- >>> import qualified Control.Monad.Foil as Foil
+-- >>> import Control.Monad.Free.Foil
 -- >>> :set -XOverloadedStrings
 -- >>> :set -XDataKinds