diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index a07adf377b..9b8df91916 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -7577,9 +7577,9 @@ the left hand side can be explicitly bound. For example: :: data instance forall a (b :: Proxy a). F (Proxy b) = FProxy Bool -When an explicit ``forall`` is present, all *type* variables mentioned must -be bound by the ``forall``. Kind variables will be implicitly bound if -necessary, for example: :: +When an explicit ``forall`` is present, all *type* variables mentioned which +are not already in scope must be bound by the ``forall``. Kind variables will +be implicitly bound if necessary, for example: :: data instance forall (a :: k). F a = FOtherwise |