diff --git a/CHANGELOG.md b/CHANGELOG.md
index 4882567..3fc5f14 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,6 @@
+## 0.8.0 (2024-10-12)
+* tweak `Simplify` exports (should stay fairly stable now)
+
 ## 0.7.0 (2024-10-11)
 * add predicate simplifier at `Rerefined.Simplify`
   * old "normalizer" stuff removed
diff --git a/package.yaml b/package.yaml
index 50b4789..13ea2bc 100644
--- a/package.yaml
+++ b/package.yaml
@@ -1,5 +1,5 @@
 name: rerefined
-version: 0.7.0
+version: 0.8.0
 synopsis: Refinement types, again
 description: Please see README.md.
 extra-source-files:
@@ -51,12 +51,9 @@ default-extensions:
 #   may need to enable if you're working with old code that uses `Int :: *`
 
 ghc-options:
+- -fhide-source-paths # hides module filepaths when compiling (bit neater)
 - -Wall
 
-# omitting ticks is good; see https://gitlab.haskell.org/ghc/ghc/-/issues/20531
-# (off by default since GHC 9.4)
-- -Wno-unticked-promoted-constructors
-
 dependencies:
 - base >= 4.18 && < 5
 - type-level-show >= 0.2.1 && < 0.4
diff --git a/rerefined.cabal b/rerefined.cabal
index 4b90dc0..21493ab 100644
--- a/rerefined.cabal
+++ b/rerefined.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           rerefined
-version:        0.7.0
+version:        0.8.0
 synopsis:       Refinement types, again
 description:    Please see README.md.
 category:       Types, Data
@@ -71,7 +71,7 @@ library
       TypeFamilies
       DataKinds
       MagicHash
-  ghc-options: -Wall -Wno-unticked-promoted-constructors
+  ghc-options: -fhide-source-paths -Wall
   build-depends:
       QuickCheck >=2.14 && <2.16
     , base >=4.18 && <5
@@ -100,7 +100,7 @@ test-suite spec
       TypeFamilies
       DataKinds
       MagicHash
-  ghc-options: -Wall -Wno-unticked-promoted-constructors
+  ghc-options: -fhide-source-paths -Wall
   build-depends:
       QuickCheck >=2.14 && <2.16
     , base >=4.18 && <5