From 8b340bc73c4d77ba312a6390335ba50fb5104004 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=96mer=20Sinan=20A=C4=9Facan?= <omeragacan@gmail.com>
Date: Mon, 1 Jan 2024 10:30:18 +0100
Subject: [PATCH] Kind signatures docs: mention that they're allowed in
newtypes
---
docs/users_guide/exts/kind_signatures.rst | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/docs/users_guide/exts/kind_signatures.rst b/docs/users_guide/exts/kind_signatures.rst
index 88887adc35bd..a953899be207 100644
--- a/docs/users_guide/exts/kind_signatures.rst
+++ b/docs/users_guide/exts/kind_signatures.rst
@@ -37,6 +37,10 @@ This extension enables kind signatures in the following places:
data Set (cxt :: Type -> Type) a = Set [a]
+- ``newtype`` declarations: ::
+
+ newtype Set (cxt :: Type -> Type) a = Set [a]
+
- ``type`` declarations: ::
type T (f :: Type -> Type) = f Int
--
GitLab