@@ -36,7 +36,7 @@ Superclass implications can be indicated in a class declaration with a backwards
36 class (Monad m) <= MonadFail m where
36 class (Monad m) <= MonadFail m where
37 fail :: forall a. String -> m a
37 fail :: forall a. String -> m a
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``::
41 assert :: forall m. (MonadFail m) => Bool -> m {}
41 assert :: forall m. (MonadFail m) => Bool -> m {}
42 assert true = return {}
42 assert true = return {}