diff --git a/ghc/docs/users_guide/glasgow_exts.sgml b/ghc/docs/users_guide/glasgow_exts.sgml
index f14d9f2a71efa679833abae2f77fd5b4c4e147b4..692e867a4d684c533397f7acd7997ec5348a38d3 100644
--- a/ghc/docs/users_guide/glasgow_exts.sgml
+++ b/ghc/docs/users_guide/glasgow_exts.sgml
@@ -1787,7 +1787,7 @@ types, in which there is a for-all in the argument types.:
 <Para>
 
 <ProgramListing>
-T1 :: forall a. (forall b. b -&#62; b -&#62; b) -&#62; a -&#62; T1 a
+T1 :: forall a. (forall b. b -&#62; b -&#62; b) -&#62; a -&#62; T a
 MkMonad :: forall m. (forall a. a -&#62; m a)
                   -&#62; (forall a b. m a -&#62; (a -&#62; m b) -&#62; m b)
                   -&#62; MonadT m