diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -8,6 +8,14 @@
 
 ## [Unreleased]
 
+## [0.5.0.1] -- 2024-04-18
+
+### Fixed
+
+- Fix an building error due to a GHC 9.8.1 regression
+  (https://gitlab.haskell.org/ghc/ghc/-/issues/24084).
+  ([#195](https://github.com/lsrcz/grisette/pull/195))
+
 ## [0.5.0.0] -- 2024-04-18
 
 ### Added
@@ -275,7 +283,8 @@
 
 - Initial release for Grisette.
 
-[Unreleased]: https://github.com/lsrcz/grisette/compare/v0.5.0.0...HEAD
+[Unreleased]: https://github.com/lsrcz/grisette/compare/v0.5.0.1...HEAD
+[0.5.0.1]: https://github.com/lsrcz/grisette/compare/v0.5.0.0...v0.5.0.1
 [0.5.0.0]: https://github.com/lsrcz/grisette/compare/v0.4.1.0...v0.5.0.0
 [0.4.1.0]: https://github.com/lsrcz/grisette/compare/v0.4.0.0...v0.4.1.0
 [0.4.0.0]: https://github.com/lsrcz/grisette/compare/v0.3.1.1...v0.4.0.0
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,6 +1,8 @@
 # Grisette
 
 [![Haskell Tests](https://github.com/lsrcz/grisette/actions/workflows/test.yml/badge.svg)](https://github.com/lsrcz/grisette/actions/workflows/test.yml)
+[![Hackage Version](https://img.shields.io/hackage/v/grisette)](https://hackage.haskell.org/package/grisette)
+[![Hackage Dependencies](https://img.shields.io/hackage-deps/v/grisette)](https://packdeps.haskellers.com/feed?needle=grisette)
 
 Grisette is a symbolic evaluation library for Haskell. By translating
 programs into constraints, Grisette can help the development of program
@@ -47,7 +49,7 @@
 ```cabal
 library
   ...
-  build-depends: grisette >= 0.5 < 0.6
+  build-depends: grisette >= 0.5.0.1 < 0.6
 ```
 
 #### Quick start template with `stack new`
diff --git a/grisette.cabal b/grisette.cabal
--- a/grisette.cabal
+++ b/grisette.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           grisette
-version:        0.5.0.0
+version:        0.5.0.1
 synopsis:       Symbolic evaluation as a library
 description:    Grisette is a reusable symbolic evaluation library for Haskell. By
                 translating programs into constraints, Grisette can help the development of
diff --git a/src/Grisette/Internal/SymPrim/GeneralFun.hs b/src/Grisette/Internal/SymPrim/GeneralFun.hs
--- a/src/Grisette/Internal/SymPrim/GeneralFun.hs
+++ b/src/Grisette/Internal/SymPrim/GeneralFun.hs
@@ -47,7 +47,7 @@
   )
 import Grisette.Internal.SymPrim.Prim.Internal.PartialEval (totalize2)
 import Grisette.Internal.SymPrim.Prim.Internal.Term
-  ( SBVRep,
+  ( SBVRep (SBVType),
     SupportedPrim (parseSMTModelResult, sbvEq),
     partitionCVArg,
   )
@@ -79,7 +79,6 @@
     PEvalOrdTerm (pevalLeOrdTerm, pevalLtOrdTerm),
     PEvalRotateTerm (pevalRotateRightTerm),
     PEvalShiftTerm (pevalShiftLeftTerm, pevalShiftRightTerm),
-    SBVType,
     SupportedNonFuncPrim (withNonFuncPrim),
     SupportedPrim
       ( conSBVTerm,