diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,10 @@
+# 1.6
+
+* Restrict to min GHC 8.6
+* Add Contravariant
+* Add OverloadedLabels and Records
+* Add STM.orElse
+
 # 1.5
 
 * Exclude Data.Semigroup.Option
diff --git a/base-prelude.cabal b/base-prelude.cabal
--- a/base-prelude.cabal
+++ b/base-prelude.cabal
@@ -1,18 +1,22 @@
 cabal-version: 3.0
 
 name: base-prelude
-version: 1.5
-synopsis: The most complete prelude formed solely from the "base" package
+version: 1.6
+synopsis: Featureful preludes formed solely from the "base" package
 description:
   A library which aims to reexport all the non-conflicting and
   most general definitions from the \"base\" package.
   This includes APIs for applicatives, arrows, monoids, foldables, traversables,
   exceptions, generics, ST, MVars and STM.
-  .
+
   This package will never have any dependencies other than \"base\".
-  .
+
+  Besides a rich prelude it provides limited ones like "BasePrelude.DataTypes",
+  which only exports the data-types defined across the \"base\" package,
+  and "BasePrelude.Operators", which only exports the common operators.
+
   /Versioning policy/
-  .
+
   The versioning policy of this package deviates from PVP in the sense
   that its exports in part are transitively determined by the version of \"base\".
   Therefore it's recommended for the users of \"base-prelude\" to specify
@@ -40,4 +44,4 @@
     BasePrelude.DataTypes
     BasePrelude.Operators
   build-depends:
-    base >=4.11 && <5
+    base >=4.12 && <5
diff --git a/library/BasePrelude.hs b/library/BasePrelude.hs
--- a/library/BasePrelude.hs
+++ b/library/BasePrelude.hs
@@ -33,6 +33,7 @@
 import Data.Functor as Exports
 import Data.Functor.Classes as Exports
 import Data.Functor.Compose as Exports
+import Data.Functor.Contravariant as Exports
 import Data.Functor.Identity as Exports
 import Data.IORef as Exports
 import Data.Int as Exports
@@ -58,10 +59,12 @@
 import Foreign.Ptr as Exports
 import Foreign.StablePtr as Exports
 import Foreign.Storable as Exports
-import GHC.Conc as Exports hiding (threadWaitRead, threadWaitReadSTM, threadWaitWrite, threadWaitWriteSTM, withMVar)
+import GHC.Conc as Exports hiding (orElse, threadWaitRead, threadWaitReadSTM, threadWaitWrite, threadWaitWriteSTM, withMVar)
 import GHC.Exts as Exports (IsList (..), groupWith, inline, lazy, sortWith)
 import GHC.Generics as Exports (Generic, Generic1)
 import GHC.IO.Exception as Exports
+import GHC.OverloadedLabels as Exports
+import GHC.Records as Exports
 import Numeric as Exports
 import Numeric.Natural as Exports
 import System.Environment as Exports
diff --git a/library/BasePrelude/Operators.hs b/library/BasePrelude/Operators.hs
--- a/library/BasePrelude/Operators.hs
+++ b/library/BasePrelude/Operators.hs
@@ -36,6 +36,12 @@
     (Data.Functor.<$>),
     (Data.Functor.<&>),
 
+    -- * From "Data.Functor.Contravariant"
+    (Data.Functor.Contravariant.>$),
+    (Data.Functor.Contravariant.>$<),
+    (Data.Functor.Contravariant.>$$<),
+    (Data.Functor.Contravariant.$<),
+
     -- * From "Data.Ord"
     (Data.Ord.<),
     (Data.Ord.<=),
@@ -66,6 +72,7 @@
 import qualified Data.Eq
 import qualified Data.Function
 import qualified Data.Functor
+import qualified Data.Functor.Contravariant
 import qualified Data.Ord
 import qualified Data.Ratio
 import qualified Data.Semigroup