diff --git a/haskus-binary.cabal b/haskus-binary.cabal
--- a/haskus-binary.cabal
+++ b/haskus-binary.cabal
@@ -1,5 +1,5 @@
 name:                haskus-binary
-version:             1.1
+version:             1.2
 synopsis:            Haskus binary format manipulation
 license:             BSD3
 license-file:        LICENSE
@@ -65,7 +65,7 @@
          base                      >= 4.9 && <5.0
       ,  haskus-utils-types        >= 1.3
       ,  haskus-utils-data         >= 1.1
-      ,  haskus-utils              >= 1.3
+      ,  haskus-utils              >= 1.4
       ,  cereal                    >= 0.5
       ,  bytestring                >= 0.10
       ,  mtl                       >= 2.2
@@ -92,6 +92,7 @@
          base
       ,  haskus-binary
       ,  haskus-utils
+      ,  haskus-utils-data
       ,  tasty                   >= 0.11
       ,  tasty-quickcheck        >= 0.8
       ,  QuickCheck              >= 2.8
diff --git a/src/lib/Haskus/Format/Binary/FixedPoint.hs b/src/lib/Haskus/Format/Binary/FixedPoint.hs
--- a/src/lib/Haskus/Format/Binary/FixedPoint.hs
+++ b/src/lib/Haskus/Format/Binary/FixedPoint.hs
@@ -8,6 +8,7 @@
 {-# LANGUAGE ExistentialQuantification #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE UndecidableInstances #-}
 
 -- | Fixed-point numbers
 module Haskus.Format.Binary.FixedPoint
diff --git a/src/lib/Haskus/Format/Binary/Unum.hs b/src/lib/Haskus/Format/Binary/Unum.hs
--- a/src/lib/Haskus/Format/Binary/Unum.hs
+++ b/src/lib/Haskus/Format/Binary/Unum.hs
@@ -10,6 +10,10 @@
 {-# LANGUAGE ConstraintKinds #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE AllowAmbiguousTypes #-}
+{-# LANGUAGE CPP #-}
+#if MIN_VERSION_GLASGOW_HASKELL (8,6,0,0)
+{-# LANGUAGE NoStarIsType #-}
+#endif
 
 module Haskus.Format.Binary.Unum
    ( Unum
@@ -76,6 +80,8 @@
 import Haskus.Utils.HList
 import Haskus.Utils.Flow
 
+import Data.Kind (Type)
+
 -- | An Unum
 --
 -- 0 (and its reciprocal) is always included.
@@ -85,7 +91,7 @@
 --       Unum '[I 1] => /0 .. -1 .. 0 .. 1 .. /0
 --       Unum '[I 1, I 2] => /0 .. -2 .. -1 .. -/2 .. 0 .. /2 .. 1 .. 2 .. /0
 --       Unum '[I 1, PI]  => /0 .. -PI .. -1 .. -/PI .. 0 .. /PI .. 1 .. PI .. /0
-data Unum (xs :: [*])
+data Unum (xs :: [Type])
 
 
 class UnumNum a where
diff --git a/src/lib/Haskus/Format/Binary/Vector.hs b/src/lib/Haskus/Format/Binary/Vector.hs
--- a/src/lib/Haskus/Format/Binary/Vector.hs
+++ b/src/lib/Haskus/Format/Binary/Vector.hs
@@ -11,6 +11,10 @@
 {-# LANGUAGE AllowAmbiguousTypes #-}
 {-# LANGUAGE MultiWayIf #-}
 {-# LANGUAGE BangPatterns #-}
+{-# LANGUAGE CPP #-}
+#if MIN_VERSION_GLASGOW_HASKELL (8,6,0,0)
+{-# LANGUAGE NoStarIsType #-}
+#endif
 
 
 -- | Vector with size in the type