Lexically scoped type variables

[Johannes Waldmann]

On the syntax of type signatures: I'd like to be able to write e. g.

do
    x :: Int <- randomRIO ( 0, 10 )
    print x

Currently I have to put ( x :: Int ) in parentheses. Is this necessary?
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------