diff options
Diffstat (limited to 'docs/users_guide/exts/data_kinds.rst')
-rw-r--r-- | docs/users_guide/exts/data_kinds.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/users_guide/exts/data_kinds.rst b/docs/users_guide/exts/data_kinds.rst index 50816cbb53..bf99065907 100644 --- a/docs/users_guide/exts/data_kinds.rst +++ b/docs/users_guide/exts/data_kinds.rst @@ -15,6 +15,7 @@ system that complements kind polymorphism. It is enabled by :extension:`DataKinds`, and described in more detail in the paper `Giving Haskell a Promotion <https://dreixel.net/research/pdf/ghp.pdf>`__, which appeared at TLDI 2012. +See also :extension:`TypeData` for a more fine-grained alternative. Motivation ---------- |