diff --git a/compound-types.cabal b/compound-types.cabal
--- a/compound-types.cabal
+++ b/compound-types.cabal
@@ -1,7 +1,7 @@
 name:
   compound-types
 version:
-  0.1.4
+  0.1.4.1
 category:
   Data, Types, Type System
 synopsis:
@@ -12,6 +12,9 @@
   The solution is quite simple and doesn’t require the advanced proficiency
   in the language to be applied in practice.
   .
+  The library supports GHC starting from version 8.6.1 and
+  requires you to enable the @NoStarIsType@ extension.
+  .
   For a comprehensive introduction please see 
   <http://nikita-volkov.github.io/first-class-sums-and-products/ this blog post>.
 homepage:
@@ -59,7 +62,7 @@
     CompoundTypes.Lazy
   build-depends:
     -- general:
-    base >= 4.7 && < 5
+    base >= 4.12 && < 5
 
 
 -- Not a benchmark really.
diff --git a/demo/Main.hs b/demo/Main.hs
--- a/demo/Main.hs
+++ b/demo/Main.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE NoStarIsType #-}
 module Main where
 
 import BasePrelude
diff --git a/library/CompoundTypes/Private/Lazy/Product.hs b/library/CompoundTypes/Private/Lazy/Product.hs
--- a/library/CompoundTypes/Private/Lazy/Product.hs
+++ b/library/CompoundTypes/Private/Lazy/Product.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE NoStarIsType #-}
 module CompoundTypes.Private.Lazy.Product where
 
 
diff --git a/library/CompoundTypes/Private/Strict/Product.hs b/library/CompoundTypes/Private/Strict/Product.hs
--- a/library/CompoundTypes/Private/Strict/Product.hs
+++ b/library/CompoundTypes/Private/Strict/Product.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE NoStarIsType #-}
 module CompoundTypes.Private.Strict.Product where