[sethg]

You can at least do this:

  > let x = 10 ; y = 5 ; in x + y
   => 15
   :: (Num t) => t