Commit 21545666 authored by Krzysztof Gogolewski's avatar Krzysztof Gogolewski Committed by Ben Gamari

Fix typo in 8.6.1 notes

(cherry picked from commit 34b8e613)
parent aeb24707
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment