diff --git a/FilePather.cabal b/FilePather.cabal
--- a/FilePather.cabal
+++ b/FilePather.cabal
@@ -1,5 +1,5 @@
 Name:               FilePather
-Version:            0.1.2
+Version:            0.1.3
 Author:             Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ>
 Maintainer:         Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ>
 Copyright:          Tony Morris
@@ -49,6 +49,7 @@
                     System.FilePath.FilePather.FilterPredicate
                     System.FilePath.FilePather.FilePathPredicate
                     System.FilePath.FilePather.Find
+                    System.FilePath.FilePather.LiftI
 
 Source-Repository  head
   type: git
diff --git a/src/System/FilePath/FilePather.hs b/src/System/FilePath/FilePather.hs
--- a/src/System/FilePath/FilePather.hs
+++ b/src/System/FilePath/FilePather.hs
@@ -5,4 +5,5 @@
 import System.FilePath.FilePather.FilterPredicate as X
 import System.FilePath.FilePather.FilePathPredicate as X
 import System.FilePath.FilePather.Find as X
+import System.FilePath.FilePather.LiftI as X
 
diff --git a/src/System/FilePath/FilePather/LiftI.hs b/src/System/FilePath/FilePather/LiftI.hs
new file mode 100644
--- /dev/null
+++ b/src/System/FilePath/FilePather/LiftI.hs
@@ -0,0 +1,26 @@
+{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
+
+module System.FilePath.FilePather.LiftI
+(
+  LiftI(..)
+) where
+
+import System.FilePath.FilePather.RecursePredicate
+import System.FilePath.FilePather.FilterPredicate
+
+-- | A type-class for lifting a value.
+-- This type-class probably belongs elsewhere (pointers appreciated!).
+class LiftI f a | f -> a where
+  liftI ::
+    Monad g =>
+    g a
+    -> f g
+
+instance LiftI RecursePredicateT Bool where
+  liftI = 
+    recursePredicateT . const
+
+instance LiftI FilterPredicateT Bool where
+  liftI = 
+    filterPredicateT . const . const
+