diff --git a/changelog.md b/changelog.md
--- a/changelog.md
+++ b/changelog.md
@@ -4,6 +4,14 @@
 The format is based on [Keep a Changelog](http://keepachangelog.com/en/1.0.0/)
 and this project adheres to the [Haskell Package Versioning Policy](https://pvp.haskell.org/).
 
+## [0.4.9] - 2018-04-06
+### Change
+- Be more careful with import of `Data.Primitive`. There is a
+  branch of `primitive` that adds `PrimArray`. The implementation
+  of `PrimArray` in this library should eventually be removed, but
+  for now it will be sufficient to ensure that it does not create
+  a conflicting import problem with the one in the branch.
+
 ## [0.4.8] - 2018-03-29
 ### Change
 - Fix compilation regression for older versions of transformers.
diff --git a/quickcheck-classes.cabal b/quickcheck-classes.cabal
--- a/quickcheck-classes.cabal
+++ b/quickcheck-classes.cabal
@@ -1,12 +1,12 @@
 name: quickcheck-classes
-version: 0.4.8
+version: 0.4.9
 synopsis: QuickCheck common typeclasses
 description:
-  This library provides quickcheck properties to
-  ensure that typeclass instances the set of laws that they are
-  supposed to. There are other libraries that do similar
-  things, such as `genvalidity-hspec` and `checkers`. This
-  library differs from other solutions by not introducing
+  This library provides quickcheck properties to ensure
+  that typeclass instances adhere to the set of laws that
+  they are supposed to. There are other libraries that do
+  similar things, such as `genvalidity-hspec` and `checkers`.
+  This library differs from other solutions by not introducing
   any new typeclasses that the user needs to learn.
 homepage: https://github.com/andrewthad/quickcheck-classes#readme
 license: BSD3
diff --git a/src/Test/QuickCheck/Classes.hs b/src/Test/QuickCheck/Classes.hs
--- a/src/Test/QuickCheck/Classes.hs
+++ b/src/Test/QuickCheck/Classes.hs
@@ -105,14 +105,16 @@
 #endif
 #endif
 
+--
 -- used below
+--
 import Test.QuickCheck
 import Test.QuickCheck.Classes.Common (foldMapA, Laws(..))
 import Data.Monoid (Monoid(..))
 import Data.Semigroup (Semigroup)
 import qualified Data.Semigroup as SG
 
--- | A convenience function for working testing properties in GHCi.
+-- | A convenience function for testing properties in GHCi.
 --   See the test suite of this library for an example of how to
 --   integrate multiple properties into larger test suite.
 lawsCheck :: Laws -> IO ()
diff --git a/src/Test/QuickCheck/Classes/Prim.hs b/src/Test/QuickCheck/Classes/Prim.hs
--- a/src/Test/QuickCheck/Classes/Prim.hs
+++ b/src/Test/QuickCheck/Classes/Prim.hs
@@ -15,8 +15,9 @@
 import Control.Monad.Primitive (PrimMonad, PrimState,primitive,primitive_)
 import Control.Monad.ST
 import Data.Proxy (Proxy)
-import Data.Primitive hiding (sizeOf, newArray, copyArray)
-import Data.Primitive.Addr (Addr(..))
+import Data.Primitive.ByteArray
+import Data.Primitive.Types
+import Data.Primitive.Addr
 import Foreign.Marshal.Alloc
 import GHC.Exts
   (Int(I#),(*#),newByteArray#,unsafeFreezeByteArray#,copyMutableByteArray#