[commit: ghc] master: Fix two typos in the ImpredicativeTypes user guide (83484a6)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/83484a6850ae30fb26c405e015a8bda1e65d56d7/ghc

>---------------------------------------------------------------

commit 83484a6850ae30fb26c405e015a8bda1e65d56d7
Author: Benjamin Hodgson <bhodgson at stackoverflow.com>
Date:   Fri Aug 25 16:22:09 2017 +0100

    Fix two typos in the ImpredicativeTypes user guide


>---------------------------------------------------------------

83484a6850ae30fb26c405e015a8bda1e65d56d7
 docs/users_guide/glasgow_exts.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index 3083d43..672670e 100644
--- a/docs/users_guide/glasgow_exts.rst
+++ b/docs/users_guide/glasgow_exts.rst
@@ -10596,13 +10596,13 @@ consistently, or working the same in subsequent releases. See
 :ghc-wiki:`this wiki page <ImpredicativePolymorphism>` for more details.
 
 If you want impredicative polymorphism, the main workaround is to use a
-newtype wrapper. The ``id runST`` example can be written using theis
+newtype wrapper. The ``id runST`` example can be written using this
 workaround like this: ::
 
     runST :: (forall s. ST s a) -> a
     id :: forall b. b -> b
 
-    nwetype Wrap a = Wrap { unWrap :: (forall s. ST s a) -> a }
+    newtype Wrap a = Wrap { unWrap :: (forall s. ST s a) -> a }
 
     foo :: (forall s. ST s a) -> a
     foo = unWrap (id (Wrap runST))