:kind feature request in ghci

[S. Alexander Jacobson]

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
values?

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...

-Alex-

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