diff --git a/CHANGELOG.md b/CHANGELOG.md
index f324f0c758..bdd1a7c0a9 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -499,3 +499,8 @@ Additions to existing modules
   ```agda
   SortingAlgorithm.sort-↭ₛ : ∀ xs → sort xs Setoid.↭ xs
   ```
+
+* In `Data.List.Instances`:
+  ```agda
+  instance listIsString : IsString (List Char)
+  ```
diff --git a/src/Data/List/Instances.agda b/src/Data/List/Instances.agda
index 2f5be06a75..d239be7eee 100644
--- a/src/Data/List/Instances.agda
+++ b/src/Data/List/Instances.agda
@@ -16,6 +16,8 @@ import Data.List.Effectful.Transformer as Trans
   using (functor; applicative; monad; monadT)
 open import Data.List.Properties
   using (≡-dec)
+open import Data.List.Literals
+  using (isString)
 open import Data.List.Relation.Binary.Pointwise
   using (Pointwise)
 open import Data.List.Relation.Binary.Lex.NonStrict
@@ -42,6 +44,7 @@ instance
   listMonad = monad
   listMonadZero = monadZero
   listMonadPlus = monadPlus
+  listIsString = isString
   -- ListT
   listTFunctor = λ {f} {g} {M} {{inst}} → Trans.functor {f} {g} {M} inst
   listTApplicative = λ {f} {g} {M} {{inst}} → Trans.applicative {f} {g} {M} inst