users-guide: Typo in Users Guide, Glasgow Exts
authorFrank Steffahn <fdsteffahn@gmail.com>
Mon, 7 Jan 2019 21:33:53 +0000 (22:33 +0100)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Wed, 3 Apr 2019 04:41:05 +0000 (00:41 -0400)
docs/users_guide/glasgow_exts.rst

index ccb3afb..bf0d595 100644 (file)
@@ -10890,7 +10890,7 @@ We say that the type variables in ``f`` are *specified*, while those in
 a type variable in the source program, it is *specified*; if not, it is
 *inferred*.
 
-Thus rule applies in datatype declarations, too. For example, if we have
+This rule applies in datatype declarations, too. For example, if we have
 ``data Proxy a = Proxy`` (and :extension:`PolyKinds` is enabled), then
 ``a`` will be assigned kind ``k``, where ``k`` is a fresh kind variable.
 Because ``k`` was not written by the user, it will be unavailable for