diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Changelog for polysemy-path
 
+## v0.2.0.0
+
+* Re-export the rest of path-0.8.0.
+
 ## v0.1.0.0
 
 * Make functions sign `PathException` rather than `SomeException`.
diff --git a/polysemy-path.cabal b/polysemy-path.cabal
--- a/polysemy-path.cabal
+++ b/polysemy-path.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           polysemy-path
-version:        0.1.0.0
+version:        0.2.0.0
 synopsis:       Polysemy versions of Path functions.
 category:       Polysemy
 author:         Daniel Firth
@@ -32,7 +32,7 @@
   ghc-options: -Wall -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints
   build-depends:
       base >=4.7 && <5
-    , path
+    , path >=0.8.0 && <0.9
     , polysemy
     , polysemy-extra >=0.1.7.0 && <0.2.0.0
     , polysemy-plugin
diff --git a/src/Polysemy/Path.hs b/src/Polysemy/Path.hs
--- a/src/Polysemy/Path.hs
+++ b/src/Polysemy/Path.hs
@@ -11,23 +11,49 @@
 {-# LANGUAGE PolyKinds           #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# OPTIONS_GHC -fplugin=Polysemy.Plugin #-}
-
 module Polysemy.Path (
   Path
 , Rel
 , Abs
 , File
 , Dir
+, SomeBase
 , PathException
+, Path.absdir
+, Path.reldir
+, Path.absfile
+, Path.relfile
+, (Path.</>)
+, stripProperPrefix
+, Path.isProperPrefixOf
+, Path.parent
+, Path.filename
+, Path.dirname
+, addExtension
+, splitExtension
+, fileExtension
+, replaceExtension
 , parseRelFile
 , parseAbsFile
 , parseRelDir
 , parseAbsDir
-, stripProperPrefix
+, parseSomeDir
+, parseSomeFile
+, Path.toFilePath
+, Path.fromAbsDir
+, Path.fromRelDir
+, Path.fromAbsFile
+, Path.fromRelFile
+, Path.fromSomeDir
+, Path.fromSomeFile
+, Path.mkAbsDir
+, Path.mkRelDir
+, Path.mkAbsFile
+, Path.mkRelFile
 ) where
 
 import qualified Path
-import Path (Path, Rel, Abs, File, Dir, PathException)
+import Path (Path, Rel, Abs, File, Dir, SomeBase, PathException)
 import Polysemy
 import Polysemy.Error
 import Polysemy.Extra
@@ -64,6 +90,22 @@
             -> Sem r (Path Abs Dir)
 parseAbsDir x = irrefutableAbsorbThrow (Path.parseAbsDir x)
 
+-- | Polysemy version of `Path.parseSomeDir`.
+--
+-- @since 0.2.0.0
+parseSomeDir :: Members '[Error PathException] r
+             => FilePath
+             -> Sem r (SomeBase Dir)
+parseSomeDir x = irrefutableAbsorbThrow (Path.parseSomeDir x)
+
+-- | Polysemy version of `Path.parseSomeFile`.
+--
+-- @since 0.2.0.0
+parseSomeFile :: Members '[Error PathException] r
+              => FilePath
+              -> Sem r (SomeBase File)
+parseSomeFile x = irrefutableAbsorbThrow (Path.parseSomeFile x)
+
 -- | Polysemy version of `Path.stripProperPrefix`.
 --
 -- @since 0.1.0.0
@@ -72,3 +114,37 @@
                   -> Path b t
                   -> Sem r (Path Rel t)
 stripProperPrefix x y = irrefutableAbsorbThrow (Path.stripProperPrefix x y)
+
+-- | Polysemy version of `Path.addExtension`.
+--
+-- @since 0.2.0.0
+addExtension :: Members '[Error PathException] r
+             => String
+             -> Path b File
+             -> Sem r (Path b File)
+addExtension x y = irrefutableAbsorbThrow (Path.addExtension x y)
+
+-- | Polysemy version of `Path.splitExtension`.
+--
+-- @since 0.2.0.0
+splitExtension :: Members '[Error PathException] r
+               => Path b File
+               -> Sem r (Path b File, String)
+splitExtension x = irrefutableAbsorbThrow (Path.splitExtension x)
+
+-- | Polysemy version of `Path.replaceExtension`.
+--
+-- @since 0.2.0.0
+replaceExtension :: Members '[Error PathException] r
+             => String
+             -> Path b File
+             -> Sem r (Path b File)
+replaceExtension x y = irrefutableAbsorbThrow (Path.replaceExtension x y)
+
+-- | Polysemy version of `Path.fileExtension`.
+--
+-- @since 0.2.0.0
+fileExtension :: Members '[Error PathException] r
+              => Path b File
+              -> Sem r String
+fileExtension x = irrefutableAbsorbThrow (Path.fileExtension x)