On 18 October 2011 02:17, bob zhang bobzhang1...@gmail.com wrote:
But I found a problem which I thought would be made better, plz correct
me if I am wrong
For those who only subscribe to Haskell-Cafe, Bob posted a very
similar thread to ghc-users, which I replied to here with a suggestion
Hi cafe,
I have played quite a bit with the ConstraintKinds extension, pretty
cool.
But I found a problem which I thought would be made better, plz correct
me if I am wrong
take a contrived example,
class C B = B a where
here B :: * - Constraint, I think this definition