Done! In the HEAD anyway, and will therefore be in 6.4 Simon Prelude> :k Int Int :: * Prelude> :k Maybe Maybe :: * -> * Prelude> :k Maybe Int Maybe Int :: * Prelude> :q | -----Original Message----- | From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell-users- | bounces@haskell.org] On Behalf Of S. Alexander Jacobson | Sent: 27 March 2004 15:33 | To: GHC users | Subject: :kind feature request in ghci | | 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 | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users