Re: [Haskell-beginners] Haskell wants the type, but I only know the class.

On Thu, Nov 3, 2011 at 2:24 PM, aditya siram wrote:

I think this is the exact use case that the new ConstraintKinds extension was meant to address (http://hackage.haskell.org/trac/ghc/wiki/Status/Oct11). But we have to wait for 7.4. -deech

I don't think so - we still need some we to tell GHC which class instance to select. But maybe I'm mis-understanding how ConstraintKinds works. Antoine