Kevin Atkinson wrote on Wed, 26 May 1999 03:05:17 -0400: > > 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' I made a mistake here. Please don't post this one. Post the one sent 6 minutes latter (on Wed, 26 May 1999 03:11:31 -0400). The latter one has the above line fixed to read: 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/ -- Kevin Atkinson [EMAIL PROTECTED] http://metalab.unc.edu/kevina/
