diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,9 @@
+# 0.5
+
+- Depend on `bifunctor-classes-compat` instead of `bifunctors`
+  See changelog note in `bifunctors-5.6`: https://hackage.haskell.org/package/bifunctors-5.6/changelog
+  This is breaking change, but affects only GHC-8.0 and older users.
+
 # 0.4.0.1
 
 - Allow `bytestring-0.11`
diff --git a/src/Data/Strict/Tuple.hs b/src/Data/Strict/Tuple.hs
--- a/src/Data/Strict/Tuple.hs
+++ b/src/Data/Strict/Tuple.hs
@@ -26,7 +26,7 @@
 -- The strict variant of the standard Haskell pairs and the corresponding
 -- variants of the functions from "Data.Tuple".
 --
--- Note that unlike regular Haskell pairs, @(x :*: _|_) = (_|_ :*: y) = _|_@
+-- Note that unlike regular Haskell pairs, @(x :!: _|_) = (_|_ :!: y) = _|_@
 --
 -----------------------------------------------------------------------------
 
diff --git a/strict.cabal b/strict.cabal
--- a/strict.cabal
+++ b/strict.cabal
@@ -1,5 +1,5 @@
 Name:           strict
-Version:        0.4.0.1
+Version:        0.5
 Synopsis:       Strict data types and String IO.
 Category:       Data, System
 Description:
@@ -63,13 +63,11 @@
    || ==8.2.2
    || ==8.4.4
    || ==8.6.5
-   || ==8.8.3
-   || ==8.10.1
-
-flag assoc
-  description: Build with assoc dependency
-  manual:      True
-  default:     True
+   || ==8.8.4
+   || ==8.10.7
+   || ==9.0.2
+   || ==9.2.4
+   || ==9.4.2
 
 library
   default-language: Haskell2010
@@ -78,19 +76,20 @@
 
   build-depends:
       base         >= 4.5.0.0 && < 5
+    , assoc        >= 1.1     && < 1.2
     , binary       >= 0.5.1.0 && < 0.9
     , bytestring   >= 0.9.2.1 && < 0.12
     , deepseq      >= 1.3.0.0 && < 1.5
-    , hashable     >= 1.2.7.0 && < 1.4
-    , text         >= 1.2.3.0 && < 1.3
-    , these        >= 1.1.1.1 && < 1.2
-    , transformers >= 0.3.0.0 && < 0.6
+    , hashable     >= 1.2.7.0 && < 1.5
+    , text         >= 1.2.3.0 && < 1.3 || >=2.0 && <2.1
+    , these        >= 1.2     && < 1.3
+    , transformers >= 0.3.0.0 && < 0.7
     , ghc-prim
 
   if !impl(ghc >= 8.0)
     build-depends:
-        semigroups           >= 0.18.5  && < 0.20
-      , transformers-compat  >= 0.6.5   && < 0.7
+        semigroups           >= 0.18.5  && < 0.21
+      , transformers-compat  >= 0.6.5   && < 0.8
 
     -- Ensure Data.Functor.Classes is always available
     if impl(ghc >= 7.10)
@@ -98,10 +97,7 @@
 
   if !impl(ghc >= 8.2)
     build-depends:
-      bifunctors >= 5.5.2 && < 5.6
-
-  if flag(assoc)
-    build-depends: assoc >= 1.0.1 && < 1.1
+      bifunctor-classes-compat >= 0.1 && < 0.2
 
   exposed-modules:
     Data.Strict