Fix typo in 8.6.1 notes
authorKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Tue, 28 Aug 2018 20:31:22 +0000 (22:31 +0200)
committerBen Gamari <ben@smart-cactus.org>
Fri, 7 Sep 2018 12:11:48 +0000 (08:11 -0400)
(cherry picked from commit 34b8e613606653187f1ffae36a83e33f0c673720)

docs/users_guide/8.6.1-notes.rst

index fccc0d1..13fd354 100644 (file)
@@ -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