Kind Question

[Kevin Atkinson]

I have a question for the Haskell experts on the list.  (Especially
Haskell compiler writers).

Is it possible to have a kind more complicated than:

kind   = kind' | kind' -> kind
kind'  = * | ( kind'' )
kind'' = * | * -> kind''

If so could you give me an example of a type which has a more
complicated kind as I sure can't find one.

Thanks in advance.  I look forward to a yes or no.
-- 
Kevin Atkinson
[EMAIL PROTECTED]
http://metalab.unc.edu/kevina/