diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Changelog for shake-plus-extended
 
+## v0.1.2.0
+
+* Add a proxy version of `batchLoadIndex`.
+
 ## v0.1.1.0
 
 * Add `HasLocalOut` class for accessing a lens with a local output directory.
diff --git a/shake-plus-extended.cabal b/shake-plus-extended.cabal
--- a/shake-plus-extended.cabal
+++ b/shake-plus-extended.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           shake-plus-extended
-version:        0.1.1.0
+version:        0.1.2.0
 synopsis:       Experimental extensions to shake-plus
 description:    Experimental extensions to shake-plus - `within`-style file rules, HashMap and IxSet batch loaders.
 category:       development, shake
diff --git a/src/Development/Shake/Plus/Extended/Loaders.hs b/src/Development/Shake/Plus/Extended/Loaders.hs
--- a/src/Development/Shake/Plus/Extended/Loaders.hs
+++ b/src/Development/Shake/Plus/Extended/Loaders.hs
@@ -12,6 +12,7 @@
 , batchLoadWithin
 , batchLoadWithin'
 , batchLoadIndex
+, batchLoadIndex'
 ) where
 
 import           Control.Comonad.Env as E
@@ -65,3 +66,12 @@
                -> [FilePattern]
                -> m (Ix.IxSet ixs x)
 batchLoadIndex rd dir fp = Ix.fromList . HM.elems <$> batchLoad dir fp rd
+
+-- | Take a loading function and a filepattern and return an IxSet
+batchLoadIndex' :: (MonadAction m, Ix.Indexable ixs x)
+                => Proxy ixs
+                -> (Path Rel File -> m x)
+                -> Path Rel Dir
+                -> [FilePattern]
+                -> m (Ix.IxSet ixs x)
+batchLoadIndex' proxy rd dir fp = Ix.fromList . HM.elems <$> batchLoad dir fp rd