diff options
Diffstat (limited to 'docs/users_guide/exts/existential_quantification.rst')
| -rw-r--r-- | docs/users_guide/exts/existential_quantification.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/exts/existential_quantification.rst b/docs/users_guide/exts/existential_quantification.rst index 87b15acd0d..568eb63b7b 100644 --- a/docs/users_guide/exts/existential_quantification.rst +++ b/docs/users_guide/exts/existential_quantification.rst @@ -248,7 +248,7 @@ constructors can be used. - You can't use ``deriving`` to define instances of a data type with existentially quantified data constructors. Reason: in most cases it - would not make sense. For example:; :: + would not make sense. For example: :: data T = forall a. MkT [a] deriving( Eq ) |