diff --git a/CHANGELOG.md b/CHANGELOG.md
index 65ac3b84404..71dab0c25aa 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -258,6 +258,8 @@
   function and clean up all system resources (to not to leave zombie processes in
   particular).
 
+* `Data.List.Lazy` was moved from `contrib` to `base`.
+
 #### System
 
 * Changes `getNProcessors` to return the number of online processors rather than
@@ -287,6 +289,8 @@
 
 * Implements `Sized` for `Data.Seq.Sized` and `Data.Seq.Unsized`.
 
+* `Data.List.Lazy` was moved from `contrib` to `base`.
+
 #### Papers
 
 * In `Control.DivideAndConquer`: a port of the paper
diff --git a/libs/contrib/Data/List/Lazy.idr b/libs/base/Data/List/Lazy.idr
similarity index 100%
rename from libs/contrib/Data/List/Lazy.idr
rename to libs/base/Data/List/Lazy.idr
diff --git a/libs/contrib/Data/List/Lazy/Quantifiers.idr b/libs/base/Data/List/Lazy/Quantifiers.idr
similarity index 100%
rename from libs/contrib/Data/List/Lazy/Quantifiers.idr
rename to libs/base/Data/List/Lazy/Quantifiers.idr
diff --git a/libs/base/base.ipkg b/libs/base/base.ipkg
index 299c1c0a237..d740cba6b84 100644
--- a/libs/base/base.ipkg
+++ b/libs/base/base.ipkg
@@ -56,6 +56,8 @@ modules = Control.App,
           Data.List,
           Data.List.Elem,
           Data.List.HasLength,
+          Data.List.Lazy,
+          Data.List.Lazy.Quantifiers,
           Data.List.Quantifiers,
           Data.List.Views,
           Data.List1,
diff --git a/libs/contrib/contrib.ipkg b/libs/contrib/contrib.ipkg
index ccf9ec824fe..69235dee766 100644
--- a/libs/contrib/contrib.ipkg
+++ b/libs/contrib/contrib.ipkg
@@ -54,9 +54,6 @@ modules = Control.ANSI,
 
           Data.List.Elem.Extra,
 
-          Data.List.Lazy,
-          Data.List.Lazy.Quantifiers,
-
           Data.Logic.Propositional,
 
           Data.Monoid.Exponentiation,
diff --git a/src/Libraries/Data/List/Lazy.idr b/src/Libraries/Data/List/Lazy.idr
index 0d1ce7173e0..78e8abfe97a 100644
--- a/src/Libraries/Data/List/Lazy.idr
+++ b/src/Libraries/Data/List/Lazy.idr
@@ -1,3 +1,5 @@
+-- This module is to be removed as soon as 0.7.* is released, since `Data.List.Lazy` is now in `base`
+
 module Libraries.Data.List.Lazy
 
 %default total