GHC 6.10.1 type puzzler

[Dave Bayer]

Thanks all. Sorting this out for my actual code was a bit harder, but  
it worked. The manual sure wasn't kidding when it said

	"Read this section carefully!"

Dave

On Nov 19, 2008, at 12:12 PM, Malcolm Wallace wrote:

> You need to turn on {-# ScopedTypedVariables #-}.

On Nov 19, 2008, at 12:15 PM, Daniil Elovkov wrote:

> If you really want to specify the type for a local declaration,  
> you'll have to turn on ScopedTypeVariables.

On Nov 19, 2008, at 12:29 PM, Chung-chieh Shan wrote:

> To write the signature for "go" inside "test2", you need lexically
> scoped type variables:
> http://www.haskell.org/ghc/docs/latest/html/users_guide/other-type-extensions.html#scoped-type-variables