diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,6 +1,6 @@
 # Revision history for sized-grid
 
-## 0.1.1.4 -- 2018-11-20
+## 0.1.1.5 -- 2018-11-20
 
 * Changed test suite to use QuickCheck
 
diff --git a/README.lhs b/README.lhs
--- a/README.lhs
+++ b/README.lhs
@@ -69,6 +69,7 @@
 import Data.Functor.Rep
 import Data.Semigroup (Semigroup(..))
 import GHC.TypeLits
+import qualified GHC.TypeLits as GHC
 import System.Console.ANSI
 ```
 
@@ -129,7 +130,7 @@
 
 ```haskell
 glider :: 
-      ( KnownNat (CoordSized x * CoordSized y)
+      ( KnownNat (CoordSized x GHC.* CoordSized y)
       , Semigroup x
       , Semigroup y
       , Monoid x
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -69,6 +69,7 @@
 import Data.Functor.Rep
 import Data.Semigroup (Semigroup(..))
 import GHC.TypeLits
+import qualified GHC.TypeLits as GHC
 import System.Console.ANSI
 ```
 
@@ -129,7 +130,7 @@
 
 ```haskell
 glider :: 
-      ( KnownNat (CoordSized x * CoordSized y)
+      ( KnownNat (CoordSized x GHC.* CoordSized y)
       , Semigroup x
       , Semigroup y
       , Monoid x
diff --git a/sized-grid.cabal b/sized-grid.cabal
--- a/sized-grid.cabal
+++ b/sized-grid.cabal
@@ -1,5 +1,5 @@
 name: sized-grid
-version: 0.1.1.4
+version: 0.1.1.5
 cabal-version: >=1.10
 category: Data
 build-type: Simple
@@ -40,13 +40,13 @@
         aeson >=1.2 && <1.5,
         comonad >=5.0 && <5.1,
         constraints >= 0.9 && < 0.11,
-        distributive >=0.5 && <0.6,
+        distributive >=0.5 && <1,
         generics-sop >=0.3 && <0.4,
-        lens >=4.15 && <4.17,
+        lens >=4.15 && <5,
         mtl >=2.2.2 && <2.3,
         random ==1.1.*,
         vector >=0.12 && <0.13,
-        vector-space >=0.10 && < 0.14
+        vector-space >=0.10 && < 2
     default-language: Haskell2010
     hs-source-dirs: src
     other-modules:
@@ -62,12 +62,12 @@
         aeson >=1.2 && <1.5,
         adjunctions >= 4.3 && < 4.5,
         generics-sop >=0.3 && <0.4,
-        lens >=4.15 && <4.17,
+        lens >=4.15 && <5,
         sized-grid -any,
         tasty >=1.0 && <1.2,
         tasty-hunit >=0.10 && <0.11,
         vector >=0.12 && <0.13,
-        vector-space >=0.10 && < 0.14,
+        vector-space >=0.10 && < 2,
         QuickCheck >= 2.10 && < 3.0,
         tasty-quickcheck >= 0.9 && < 1
     default-language: Haskell2010
@@ -84,10 +84,10 @@
         ansi-terminal >=0.8.0.2 && <0.9,
         adjunctions >= 4.3 && < 4.5,
         comonad >=5.0 && <5.1,
-        distributive >=0.5 && <0.6,
-        lens >=4.15 && <4.17,
+        distributive >=0.5 && <1,
+        lens >=4.15 && <5,
         markdown-unlit >=0.5.0 && <0.6,
         sized-grid -any,
-        vector-space >=0.10 && < 0.14
+        vector-space >=0.10 && < 2
     default-language: Haskell2010
     ghc-options: -pgmL markdown-unlit
diff --git a/tests/Main.hs b/tests/Main.hs
--- a/tests/Main.hs
+++ b/tests/Main.hs
@@ -68,8 +68,8 @@
        , Show a
        , Eq a
        , cs ~ '[ x, y]
-       , KnownNat (CoordSized y * CoordSized x)
-       , KnownNat (CoordSized x * CoordSized y)
+       , KnownNat (CoordSized y GHC.* CoordSized x)
+       , KnownNat (CoordSized x GHC.* CoordSized y)
        , Arbitrary a
        , Arbitrary x
        , Arbitrary y
@@ -108,12 +108,12 @@
        , Eq a
        , Num a
        , All IsCoord (c ': cs)
-       , KnownNat (CoordSized c * MaxCoordSize cs)
+       , KnownNat (CoordSized c GHC.* MaxCoordSize cs)
        , KnownNat (MaxCoordSize cs)
-       , KnownNat (5 * MaxCoordSize cs)
-       , KnownNat (3 * MaxCoordSize cs)
-       , KnownNat (2 * MaxCoordSize cs)
-       , KnownNat (CoordSized (CoordFromNat c 2) * MaxCoordSize cs)
+       , KnownNat (5 GHC.* MaxCoordSize cs)
+       , KnownNat (3 GHC.* MaxCoordSize cs)
+       , KnownNat (2 GHC.* MaxCoordSize cs)
+       , KnownNat (CoordSized (CoordFromNat c 2) GHC.* MaxCoordSize cs)
        , KnownNat (CoordSized (CoordFromNat c 2))
        , AllSizedKnown cs
        , Arbitrary a