Commit e9346b53 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Improve documention of TypeInType

parent a57d5c4d
......@@ -8788,8 +8788,9 @@ Kind polymorphism
:implies: :extension:`PolyKinds`, :extension:`DataKinds`, :extension:`KindSignatures`
:since: 8.0.1
In the past this extension used to enable advanced type-level programming
techniques. Now it's a shorthand for a couple of other extensions.
The extension :extension:`TypeInType` is now deprecated: its sole effect is
to switch on :extension:`PolyKinds`
(and hence :extension:`KindSignatures`) and :extension:`DataKinds`.
.. extension:: PolyKinds
:shortdesc: Enable kind polymorphism.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment