diff options
Diffstat (limited to 'docs/users_guide/exts/instances.rst')
| -rw-r--r-- | docs/users_guide/exts/instances.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/exts/instances.rst b/docs/users_guide/exts/instances.rst index 3422e6b3ef..4dfb7e1ecb 100644 --- a/docs/users_guide/exts/instances.rst +++ b/docs/users_guide/exts/instances.rst @@ -147,7 +147,7 @@ Where: ``(forall a. a)`` and ``(Eq a => a)`` are legal. - ``ctype`` is a ``btype`` that has no restrictions on an outermost ``forall``/``=>``, so ``forall a. a`` and ``Eq a => a`` are legal ``ctype``\s. -- ``arg_type`` is a type that is not allowed to have ``forall``s or ``=>``\s +- ``arg_type`` is a type that is not allowed to have ``forall``\s or ``=>``\s - ``prefix_cls_tycon`` is a class type constructor written prefix (e.g., ``Show`` or ``(&&&)``), while ``infix_cls_tycon`` is a class type constructor written infix (e.g., ``\`Show\``` or ``&&&``). |