diff --git a/downhill.cabal b/downhill.cabal
--- a/downhill.cabal
+++ b/downhill.cabal
@@ -1,7 +1,7 @@
 cabal-version:       2.4
 
 name:                downhill
-version:             0.2.0.0
+version:             0.3.0.0
 synopsis:            Reverse mode automatic differentiation
 homepage:            https://andriusstank.github.io/downhill/
 description:
@@ -36,11 +36,11 @@
                        Downhill.Metric
   -- other-modules:
   -- other-extensions:
-  build-depends:       base                  >= 4.12.0.0 && <4.17,
+  build-depends:       base                  >= 4.12.0.0 && <4.18,
                        containers            >= 0.6.5 && < 0.7,
                        reflection            >= 2.1.6 && < 2.2,
-                       template-haskell      >= 2.16.0 && < 2.19,
-                       transformers          >= 0.5.6 && < 0.6,
+                       template-haskell      >= 2.16.0 && < 2.20,
+                       transformers          >= 0.5.6 && < 0.7,
                        th-abstraction        >= 0.4.3 && < 0.5,
                        unordered-containers  >= 0.2.14 && < 0.3,
                        vector-space          >= 0.16 && < 0.17,
diff --git a/src/Downhill/BVar/Traversable.hs b/src/Downhill/BVar/Traversable.hs
--- a/src/Downhill/BVar/Traversable.hs
+++ b/src/Downhill/BVar/Traversable.hs
@@ -10,6 +10,7 @@
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UndecidableInstances #-}
 {-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE TypeOperators #-}
 
 -- | Easy backpropagation when all variables have the same type.
 --
diff --git a/src/Downhill/Linear/BackGrad.hs b/src/Downhill/Linear/BackGrad.hs
--- a/src/Downhill/Linear/BackGrad.hs
+++ b/src/Downhill/Linear/BackGrad.hs
@@ -4,6 +4,7 @@
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE TypeOperators #-}
 
 module Downhill.Linear.BackGrad
   ( BackGrad (..),
diff --git a/src/Downhill/Metric.hs b/src/Downhill/Metric.hs
--- a/src/Downhill/Metric.hs
+++ b/src/Downhill/Metric.hs
@@ -6,6 +6,7 @@
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE TypeOperators #-}
 
 module Downhill.Metric
   ( MetricTensor (..)
diff --git a/test/DownhillTest/Bilinear.hs b/test/DownhillTest/Bilinear.hs
--- a/test/DownhillTest/Bilinear.hs
+++ b/test/DownhillTest/Bilinear.hs
@@ -9,6 +9,7 @@
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE TypeOperators #-}
 
 module DownhillTest.Bilinear where