@@ -36,7 +36,7 @@ Superclass implications can be indicated in a class declaration with a backwards
3636 class (Monad m) <= MonadFail m where
3737 fail :: forall a. String -> m a
3838
39−Superclass instances will be used when searching for an instance of a subclass. For example, in the code below, the ``Monad`` constraint introduced by the ``return`` function can be discharged since ``Monad`` is a superclass of ``MonadFail``.
39+Superclass instances will be used when searching for an instance of a subclass. For example, in the code below, the ``Monad`` constraint introduced by the ``return`` function can be discharged since ``Monad`` is a superclass of ``MonadFail``::
4040
4141 assert :: forall m. (MonadFail m) => Bool -> m {}
4242 assert true = return {}