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@alexjacobson.com tel:917-770-6565 http://alexjacobson.com