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

[Yucheng Zhang]

On Tue, Jan 3, 2012 at 7:49 PM, Yucheng Zhang <yczhang89 at gmail.com> wrote:
> I found some descriptions of ScopedTypeVariables here:
>
> http://hackage.haskell.org/trac/haskell-prime/wiki/ScopedTypeVariables

Sorry, I found just now a more up-to-date description in the GHC documentation:

http://www.haskell.org/ghc/docs/latest/html/users_guide/other-type-extensions.html#scoped-type-variables