diff options
Diffstat (limited to 'docs/users_guide/glasgow_exts.rst')
-rw-r--r-- | docs/users_guide/glasgow_exts.rst | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 9993618103..ca30bddf26 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -7000,9 +7000,6 @@ Note the following specific points: ghci> :k T T :: forall (k :: BOX). (k -> *) -> k -> * - Here the kind variable ``k`` itself has a kind annotation "``BOX``". - This is just GHC's way of saying "``k`` is a kind variable". - - Just as in the world of terms, you can restrict polymorphism using a kind signature (sometimes called a kind annotation) |