diff --git a/FilePather.cabal b/FilePather.cabal
--- a/FilePather.cabal
+++ b/FilePather.cabal
@@ -1,5 +1,5 @@
 Name:               FilePather
-Version:            0.1.6
+Version:            0.1.7
 Author:             Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ>
 Maintainer:         Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ>
 Copyright:          Tony Morris
diff --git a/src/System/FilePath/FilePather/FilePathPredicate.hs b/src/System/FilePath/FilePather/FilePathPredicate.hs
--- a/src/System/FilePath/FilePather/FilePathPredicate.hs
+++ b/src/System/FilePath/FilePather/FilePathPredicate.hs
@@ -55,21 +55,21 @@
     Monad g =>
     (FilePath -> Bool)
     -> f g
-  -- | A predicate that computes its result based equivalence to a file name extension. This function matches with and without the preceding extension separator (.).
+  -- | A predicate that computes its result based on equivalence to a file name extension. This function matches with and without the preceding extension separator (.).
   extensionEq ::
     Monad g =>
     FilePath
     -> f g
   extensionEq p =
     extension (== p)
-  -- | A predicate that computes its result based equivalence to one of a list of file name extensions.
+  -- | A predicate that computes its result based on equivalence to one of a list of file name extensions.
   extensionOneof ::
     (F.Foldable t, Monad g) =>
     t FilePath
     -> f g
   extensionOneof =
     F.foldr (\a b -> extensionEq a .||. b) never
-  -- | A predicate that computes its result based inequivalence to any of a list of file name extensions.
+  -- | A predicate that computes its result based on inequivalence to any of a list of file name extensions.
   extensionNoneof ::
     (F.Foldable t, Monad g) =>
     t FilePath
diff --git a/src/System/FilePath/FilePather/FileType.hs b/src/System/FilePath/FilePather/FileType.hs
--- a/src/System/FilePath/FilePather/FileType.hs
+++ b/src/System/FilePath/FilePather/FileType.hs
@@ -10,7 +10,7 @@
   File -- ^ The type is a normal file.
   | Directory -- ^ The type is a directory.
   | Unknown -- ^ The type is unknown.
-  deriving (Eq, Show, Enum)
+  deriving (Eq, Ord, Show, Enum)
 
 isFile ::
   FileType
diff --git a/src/System/FilePath/FilePather/RecursePredicate.hs b/src/System/FilePath/FilePather/RecursePredicate.hs
--- a/src/System/FilePath/FilePather/RecursePredicate.hs
+++ b/src/System/FilePath/FilePather/RecursePredicate.hs
@@ -12,7 +12,7 @@
 import Control.Monad.Identity
 import System.FilePath.FilePather.FilterPredicate
 
--- | A recurse predicate takes a 'FilePath' and returns whether or not to continue recursing on that file.
+-- | A recurse predicate takes a 'FilePath', which is a directory, and returns whether or not to continue recursing down on that directory.
 newtype RecursePredicateT f =
   RecursePredicateT (FilePath -> f Bool)