diff options
Diffstat (limited to 'docs/users_guide/exts/existential_quantification.rst')
| -rw-r--r-- | docs/users_guide/exts/existential_quantification.rst | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/users_guide/exts/existential_quantification.rst b/docs/users_guide/exts/existential_quantification.rst index 4652f2cae0..87b15acd0d 100644 --- a/docs/users_guide/exts/existential_quantification.rst +++ b/docs/users_guide/exts/existential_quantification.rst @@ -8,6 +8,7 @@ Existentially quantified data constructors :implies: :extension:`ExplicitForAll` :since: 6.8.1 + :status: Included in :extension:`GHC2021` Allow existentially quantified type variables in types. @@ -261,5 +262,3 @@ constructors can be used. It's just about possible to imagine examples in which the derived instance would make sense, but it seems altogether simpler simply to prohibit such declarations. Define your own instances! - - |