diff --git a/Source/Lawless.hs b/Source/Lawless.hs
--- a/Source/Lawless.hs
+++ b/Source/Lawless.hs
@@ -38,7 +38,6 @@
 import Data.Bool hiding (bool)
 import Data.Monoid
 
-import Control.Arrow.Unicode as UNI
 import Control.Monad.Unicode as UNI
 import Control.Applicative.Unicode ((⊛))
 import Data.Bool.Unicode as UNI
diff --git a/Source/Machine.hs b/Source/Machine.hs
--- a/Source/Machine.hs
+++ b/Source/Machine.hs
@@ -1,12 +1,15 @@
 module Machine (
     module Data.Machine.Concurrent,
     (⇝),
-    (⇜)
+    (⇜),
+    (↣),
+    (↢),
+    (⧻),
+    (⫴)
     ) where
 
-import Lawless hiding ((<~), (~>))
+import Lawless hiding ((<~))
 import Data.Machine.Concurrent
-import Control.Monad
 import Control.Monad.Trans.Control
 
 infixr 9 ⇜
diff --git a/Source/Path.hs b/Source/Path.hs
--- a/Source/Path.hs
+++ b/Source/Path.hs
@@ -40,25 +40,24 @@
     P.toString,
 
     -- * Auxillary Manipulation Functions
-    P.equalFilePath,
-    P.joinPath,
-    P.normalise,
-    P.splitPath,
-    P.makeRelative,
-    P.makeRelativeMaybe,
-    P.makeAbsolute,
-    P.makeAbsoluteFromCwd,
+    P.dirFromFile,
+    P.dirFromFileDir,
     P.dynamicMakeAbsolute,
     P.dynamicMakeAbsoluteFromCwd,
+    P.equalFilePath,
+    P.fileFromDir,
+    P.fileFromFileDir,
+    P.fromFileDir,
     P.genericMakeAbsolute,
     P.genericMakeAbsoluteFromCwd,
+    P.joinPath,
+    P.makeAbsolute,
+    P.makeAbsoluteFromCwd,
+    P.makeRelative,
+    P.makeRelativeMaybe,
+    P.normalise,
     P.pathMap,
-    P.dirFromFile,
-    P.fileFromDir,
     P.toFileDir,
-    P.fromFileDir,
-    P.fileFromFileDir,
-    P.dirFromFileDir,
 
     -- * Path Predicates
     P.isAbsolute,
diff --git a/Tests/TestAesonEncoding.hs b/Tests/TestAesonEncoding.hs
--- a/Tests/TestAesonEncoding.hs
+++ b/Tests/TestAesonEncoding.hs
@@ -21,7 +21,9 @@
 import Lawless hiding (elements)
 import Aeson
 import Data.Char (toLower)
+import Text
 
+default (Text)
 
 data FieldLabel = FieldLabel {
     _flPrefix ∷ [Char],
@@ -36,8 +38,13 @@
 flModLabel ∷ Getter FieldLabel [Char]
 flModLabel = to (fieldLabelModifier lawlessJSONOptions ∘ view flLabel)
 
+lowers ∷ Gen Char
 lowers = elements ['a'..'z']
+
+uppers ∷ Gen Char
 uppers = elements ['A'..'Z']
+
+others ∷ Gen Char
 others = elements $ concatOf traversed [['a'..'z'], ['A'..'Z'], ['0'..'9'], "_"]
 
 instance Arbitrary FieldLabel where
diff --git a/liblawless.cabal b/liblawless.cabal
--- a/liblawless.cabal
+++ b/liblawless.cabal
@@ -1,5 +1,5 @@
 name:                liblawless
-version:             0.18.0
+version:             0.18.2
 synopsis:            Prelude based on protolude for GHC 8 and beyond.
 license:             GPL-3
 license-file:        LICENSE
@@ -27,7 +27,7 @@
 source-repository this
   type:     git
   location:   git@gitlab.com:misandrist/liblawless.git
-  tag: v0.18.0
+  tag: v0.18.2
 
 library
   ghc-options: -Wall -Wno-redundant-constraints -O2
@@ -52,6 +52,7 @@
                   Time
                   Tree
   default-extensions:
+                     ExtendedDefaultRules
                      NoImplicitPrelude
                      UnicodeSyntax
                      LambdaCase
@@ -116,7 +117,14 @@
   default-language:    Haskell2010
 
 test-suite test-liblawless
-  ghc-options: -Wall -threaded -feager-blackholing -rtsopts -dynamic
+  ghc-options:
+              -Wall
+              -Wno-redundant-constraints
+              -Wno-type-defaults
+              -threaded
+              -feager-blackholing
+              -rtsopts
+              -dynamic
   default-language:    Haskell2010
   type: exitcode-stdio-1.0
   hs-source-dirs: Tests
@@ -147,6 +155,7 @@
                 time,
                 transformers >= 0.4.2.0
   default-extensions:
+                     ExtendedDefaultRules
                      NoImplicitPrelude
                      UnicodeSyntax
                      LambdaCase