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

On Tue, Jan 3, 2012 at 7:46 PM, Brandon Allbery 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