[GHC] #777: Typos in user guide example

[GHC]

#777: Typos in user guide example
----------------------------+-----------------------------------------------
  Reporter:  guest          |          Owner:         
      Type:  bug            |         Status:  new    
  Priority:  normal         |      Milestone:         
 Component:  Documentation  |        Version:  6.5    
  Severity:  normal         |       Keywords:         
Difficulty:  Easy (1 hr)    |   Architecture:  Unknown
        Os:  Unknown        |  
----------------------------+-----------------------------------------------
In section "7.4.1.3 Liberalised type synonyms" of the user guide i find
 the following example:

   type Discard a = forall b. Show b => a -> b -> (a, String)

   f :: Discard a
   f x y = (x, show y)

   g :: Discard Int -> (Int,Bool)    -- A rank-2 type
   g f = f Int True


 It seems like that Bool should be String.. and that Int should be an
 actual number?
 I am new to haskell.. so I might just be missing something here..

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/777>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler