diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,8 @@
+## 0.2.0.0
+
+* Transitive version bump because of choice of different incoherent
+  instance for `:>` for better type inference.
+
 # 0.0.16.1
 
 * Fix Haddock
diff --git a/bluefin-random.cabal b/bluefin-random.cabal
--- a/bluefin-random.cabal
+++ b/bluefin-random.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               bluefin-random
-version:            0.0.16.1
+version:            0.2.0.0
 license:            MIT
 license-file:       LICENSE
 author:             Tom Ellis
@@ -41,8 +41,7 @@
       GeneralisedNewtypeDeriving
       HexFloatLiterals
       ImplicitPrelude
-      -- Not available until 8.10
-      -- ImportQualifiedPost
+      ImportQualifiedPost
       InstanceSigs
       KindSignatures
       MonomorphismRestriction
@@ -57,8 +56,7 @@
       RelaxedPolyRec
       ScopedTypeVariables
       StandaloneDeriving
-      -- Not available in 8.6
-      -- StandaloneKindSignatures
+      StandaloneKindSignatures
       StarIsType
       TraditionalRecordSyntax
       TupleSections
@@ -77,8 +75,8 @@
     default-language: Haskell2010
     hs-source-dirs: src
     build-depends:
-      base >= 4.12 && < 4.22,
+      base >= 4.14 && < 4.22,
       random >= 1.3 && < 1.4,
-      bluefin >= 0.0.16.0 && < 0.1
+      bluefin >= 0.2.0.0 && < 0.3
     exposed-modules:
       Bluefin.Random
diff --git a/src/Bluefin/Random.hs b/src/Bluefin/Random.hs
--- a/src/Bluefin/Random.hs
+++ b/src/Bluefin/Random.hs
@@ -137,7 +137,7 @@
 --
 -- 'RandomPure' is an internal detail that is used to implement a
 -- 'System.Random.Stateful.FrozenGen' instance for 'Random'.  You may
--- see it in error messages, so we include it here from completeness.
+-- see it in error messages, so we include it here for completeness.
 -- You will most likely never need to use @RandomPure@ directly.
 
 newtype Random g e = Random (State g e)