[Haskell-cafe] partial type annotations

[Paul R]

Hi,

> x :: Integer <- instruction1 -- Require ScopedTypeVariables

Indeed, that does require ScopedTypeVariables to be enabled, but this
basic use case is not clearly covered in the ScopedTypeVariables
documentation.

Also, it is not clear to me why ScopedTypeVariables is required at all
here, as Integer is a literal type and not a signature-bound type
variable.

-- 
  Paul