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

Yucheng Zhang yczhang89 at gmail.com
Tue Jan 3 12:49:12 CET 2012

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:


More information about the Haskell-Cafe mailing list