diff --git a/parsley.cabal b/parsley.cabal
index 271e528c..7ceeaf10 100644
--- a/parsley.cabal
+++ b/parsley.cabal
@@ -122,7 +122,7 @@ library
                        text                 >= 1.2.3   && < 1.3,
                        -- Not sure about this one, 0.11.0.0 introduced a type synonym for PS, so it _should_ work
                        bytestring           >= 0.10.8  && < 0.12
-  build-tool-depends:  cpphs:cpphs          >= 1.19
+  build-tool-depends:  cpphs:cpphs          >= 1.18.8  && < 1.21
   hs-source-dirs:      src/ghc
   if impl(ghc >= 8.10)
     hs-source-dirs:    src/ghc-8.10+
diff --git a/src/ghc-8.10+/Parsley/Internal/Backend/Machine/InputRep.hs b/src/ghc-8.10+/Parsley/Internal/Backend/Machine/InputRep.hs
index 8e11d07e..cc86eefd 100644
--- a/src/ghc-8.10+/Parsley/Internal/Backend/Machine/InputRep.hs
+++ b/src/ghc-8.10+/Parsley/Internal/Backend/Machine/InputRep.hs
@@ -3,9 +3,9 @@
              UnboxedTuples,
              StandaloneKindSignatures #-}
 module Parsley.Internal.Backend.Machine.InputRep (
-    Rep,
+    Rep, RepKind,
     intSame, intLess, min#, max#,
-    offWith, offWithSame, offWithShiftRight,
+    OffWith, offWith, offWithSame, offWithShiftRight,
     --OffWithStreamAnd(..),
     UnpackedLazyByteString, emptyUnpackedLazyByteString,
     Stream, dropStream,
diff --git a/src/ghc/Parsley/Internal/Backend/InstructionAnalyser.hs b/src/ghc/Parsley/Internal/Backend/InstructionAnalyser.hs
index 0aadc9f4..8a635f0d 100644
--- a/src/ghc/Parsley/Internal/Backend/InstructionAnalyser.hs
+++ b/src/ghc/Parsley/Internal/Backend/InstructionAnalyser.hs
@@ -1,7 +1,7 @@
 {-# LANGUAGE MultiParamTypeClasses,
              TypeFamilies,
              UndecidableInstances #-}
-module Parsley.Internal.Backend.InstructionAnalyser (coinsNeeded, relevancy) where
+module Parsley.Internal.Backend.InstructionAnalyser (coinsNeeded, relevancy, Length) where
 
 import Data.Kind                        (Type)
 import Parsley.Internal.Backend.Machine (Instr(..), MetaInstr(..))
diff --git a/src/ghc/Parsley/Internal/Common/Fresh.hs b/src/ghc/Parsley/Internal/Common/Fresh.hs
index fb53af58..dec774a2 100644
--- a/src/ghc/Parsley/Internal/Common/Fresh.hs
+++ b/src/ghc/Parsley/Internal/Common/Fresh.hs
@@ -7,7 +7,8 @@ module Parsley.Internal.Common.Fresh (
     runFreshT, runFresh,
     evalFreshT, evalFresh,
     execFreshT, execFresh,
-    MonadFresh(..), construct, mapVFreshT
+    MonadFresh(..), construct, mapVFreshT,
+    RunFreshT
   ) where
 
 import Control.Applicative        (liftA2)
diff --git a/src/ghc/Parsley/Precedence.hs b/src/ghc/Parsley/Precedence.hs
index 4be8cf58..a645c35e 100644
--- a/src/ghc/Parsley/Precedence.hs
+++ b/src/ghc/Parsley/Precedence.hs
@@ -68,7 +68,7 @@ data Level a b = InfixL  [Parser (b -> a -> b)] (Defunc (a -> b)) -- ^ left-asso
                | Postfix [Parser (b -> b)]      (Defunc (a -> b)) -- ^ postfix unary operators
 
 {-|
-This class provides a way of working with the `Level` datatype without needing to
+This class provides a way of working with the t`Level` datatype without needing to
 provide wrappers, or not providing `Defunc` arguments.
 
 @since 0.1.0.0