On Tue, Jan 3, 2012 at 7:46 PM, Brandon Allbery <[email protected]> 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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
