:kind feature request in ghci

S. Alexander Jacobson haskell at alexjacobson.com
Sat Mar 27 10:33:00 EST 2004

I keep running into kind errors (see my most
recent post on Haskell cafe).  Would it be
possible for ghci to expose a :kind function
that operates on types the way :type operates on

Alternatively, is there another way to
figure out how to create an instance of
a class like this?

    class MyClass a b where emptyVal::a b

Here are one of the thing that don't work:

    type MyType a = [a]
    instance MyClass (MyType a) a where emptyVal=[]

And I have no idea why...


S. Alexander Jacobson                  mailto:me at alexjacobson.com
tel:917-770-6565                       http://alexjacobson.com

More information about the Glasgow-haskell-users mailing list