diff options
| author | Krzysztof Gogolewski <krz.gogolewski@gmail.com> | 2018-08-28 22:31:22 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krz.gogolewski@gmail.com> | 2018-08-28 22:31:22 +0200 |
| commit | 34b8e613606653187f1ffae36a83e33f0c673720 (patch) | |
| tree | a3a22b4a55de6fbfe078a5fd6ffa82239df56c50 | |
| parent | c46a5f2002f6694ea58f79f505d57f3b7bd450e7 (diff) | |
| download | haskell-34b8e613606653187f1ffae36a83e33f0c673720.tar.gz | |
Fix typo in 8.6.1 notes
| -rw-r--r-- | docs/users_guide/8.6.1-notes.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/8.6.1-notes.rst b/docs/users_guide/8.6.1-notes.rst index 7faef04516..cfa28806eb 100644 --- a/docs/users_guide/8.6.1-notes.rst +++ b/docs/users_guide/8.6.1-notes.rst @@ -35,7 +35,7 @@ Language the common ``MonadTrans`` typeclass could now make the expectation that an applied transformer is must be a ``Monad`` :: - class (forall a. Monad m => Monad (t m)) => MonadTrans t where {- ... -} + class (forall m. Monad m => Monad (t m)) => MonadTrans t where {- ... -} Additionally, quantification can enable terminating instance resolution where this previously was not possible. See :ref:`quantified-constraints` for |