diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+Changes in 0.3.1.2
+
+  * Fix build for GHC 8.2
+
 Changes in 0.3.1.0
 
   * Fix build for GHC 8.0
diff --git a/Data/Vector/HFixed/Class.hs b/Data/Vector/HFixed/Class.hs
--- a/Data/Vector/HFixed/Class.hs
+++ b/Data/Vector/HFixed/Class.hs
@@ -218,7 +218,7 @@
   WitNestedFun :: (Fn (xs++ys) r ~ Fn xs (Fn ys r)) => WitNestedFun xs ys r
 
 -- | Observe fact than @Len xs ~ Len (Wrap f xs)@
-data WitLenWrap f xs where
+data WitLenWrap :: (* -> *) -> [*] -> * where
   WitLenWrap :: Len xs ~ Len (Wrap f xs) => WitLenWrap f xs
 
 -- | Witness that all elements of type list satisfy predicate @c@.
diff --git a/Data/Vector/HFixed/HVec.hs b/Data/Vector/HFixed/HVec.hs
--- a/Data/Vector/HFixed/HVec.hs
+++ b/Data/Vector/HFixed/HVec.hs
@@ -28,7 +28,7 @@
 import Data.List               (intercalate)
 import Data.Primitive.Array    (Array,MutableArray,newArray,writeArray,readArray,
                                 indexArray, unsafeFreezeArray)
-import GHC.Prim                (Any)
+import GHC.Exts                (Any)
 import Unsafe.Coerce           (unsafeCoerce)
 
 import qualified Data.Vector.Fixed.Cont as F (Arity(..))
diff --git a/fixed-vector-hetero.cabal b/fixed-vector-hetero.cabal
--- a/fixed-vector-hetero.cabal
+++ b/fixed-vector-hetero.cabal
@@ -1,5 +1,5 @@
 Name:           fixed-vector-hetero
-Version:        0.3.1.1
+Version:        0.3.1.2
 Synopsis:       Generic heterogeneous vectors
 Description:
   Generic heterogeneous vectors