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:[EMAIL PROTECTED]
tel:917-770-6565 http://alexjacobson.com
_______________________________________________
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
