[Haskell-cafe] Solved but strange error in type inference

[Yucheng Zhang]

On Tue, Jan 3, 2012 at 7:46 PM, Brandon Allbery <allbery.b at gmail.com> wrote:
> Right, but I think this is conflating two aspects of ScopedTypeVariables and
> may not bring them into scope "fully".  Although, that's a question for
> someone who understands ghc's type system far better than I do.
>

I found some descriptions of ScopedTypeVariables here:

http://hackage.haskell.org/trac/haskell-prime/wiki/ScopedTypeVariables