Typos in user guide example

[guest]

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..

[simonpj]

Good point. Now fixed, thank you.

Simon