diff --git a/docs/users_guide/exts/kind_signatures.rst b/docs/users_guide/exts/kind_signatures.rst index 88887adc35bd6f0640b72f5f991f9c8fb2dcf6f2..a953899be207ec01933039dec81a11f5a05aec95 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