Fix typo in 8.6.1 notes
authorKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Tue, 28 Aug 2018 20:31:22 +0000 (22:31 +0200)
committerKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Tue, 28 Aug 2018 20:31:22 +0000 (22:31 +0200)
docs/users_guide/8.6.1-notes.rst

index 7faef04..cfa2880 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