diff --git a/Control/Exception/Assert/Sugar.hs b/Control/Exception/Assert/Sugar.hs
--- a/Control/Exception/Assert/Sugar.hs
+++ b/Control/Exception/Assert/Sugar.hs
@@ -17,6 +17,7 @@
 import Control.Exception (assert)
 import Data.Text (Text)
 import Debug.Trace (trace)
+import Prelude
 import qualified Text.Show.Pretty as Show.Pretty (ppShow)
 
 infix 1 `blame`
@@ -76,7 +77,7 @@
 -- Fixing the first component of the pair to @Text@ prevents warnings
 -- about defaulting, even when @OverloadedStrings@ extension is enabled.
 {-# DEPRECATED twith
-      "consider using 'swith' instead, because GHC optimizes constant Strings better than Texts." #-}
+      "consider using 'swith' instead, for simplicity, because GHC optimizes lazy 'String' constants very well." #-}
 twith :: Text -> b -> (Text, b)
 {-# INLINE twith #-}
 twith t b = (t, b)
diff --git a/assert-failure.cabal b/assert-failure.cabal
--- a/assert-failure.cabal
+++ b/assert-failure.cabal
@@ -5,7 +5,7 @@
 -- PVP summary:+-+------- breaking API changes
 --             | | +----- non-breaking API additions
 --             | | | +--- code changes with no API change
-version:       0.1.2.1
+version:       0.1.2.2
 synopsis:      Syntactic sugar improving 'assert' and 'error'
 description:   This library contains syntactic sugar that makes it easier
                to write simple contracts with 'assert' and 'error'
@@ -14,7 +14,7 @@
 bug-reports:   https://github.com/Mikolaj/assert-failure/issues
 license:       BSD3
 license-file:  LICENSE
-tested-with:   GHC >= 7.4 && <= 8.2
+tested-with:   GHC >= 7.6 && <= 8.2
 data-files:    LICENSE, README.md
 author:        Mikolaj Konarski
 maintainer:    Mikolaj Konarski <mikolaj.konarski@funktory.com>
@@ -29,14 +29,14 @@
 library
   exposed-modules:    Control.Exception.Assert.Sugar
 --  other-modules:
-  build-depends:      base                 >= 4        && < 5,
+  build-depends:      base                 >= 4.6      && < 5,
                       text                 >= 0.11.2.3 && < 2,
                       pretty-show          >= 1.6      && < 2
 
   default-language:   Haskell2010
   default-extensions: MonoLocalBinds, ScopedTypeVariables, OverloadedStrings
-                      BangPatterns, RecordWildCards, NamedFieldPuns, MultiWayIf,
-                      CPP
+                      BangPatterns, RecordWildCards, NamedFieldPuns, MultiWayIf
   other-extensions:   RankNTypes
-  ghc-options:        -Wall -fwarn-orphans -fwarn-tabs -fwarn-incomplete-uni-patterns -fwarn-incomplete-record-updates -fwarn-unrecognised-pragmas
-  ghc-options:        -fno-warn-implicit-prelude -fno-ignore-asserts -fexpose-all-unfoldings
+  ghc-options:        -Wall -fwarn-orphans -fwarn-incomplete-uni-patterns -fwarn-incomplete-record-updates -fwarn-implicit-prelude -fwarn-identities
+-- TODO:  ghc-options:        -Wall -Wcompat -Worphans -Wincomplete-uni-patterns -Wincomplete-record-updates -Wimplicit-prelude -Wmissing-home-modules -Widentities
+  ghc-options:        -fno-ignore-asserts