Lennart Augustsson wrote:
>
> Kevin Atkinson wrote:
>
> > 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''
>
> Yes, kinds are generated by the grammar
> 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.
>
> Your grammar does not seem to cover
> ((*->*) -> *) -> *
> which you could get (as the kind of D) e.g. from
> data D c = C (c [])
>
Thanks.
Now how would I use a type considering its constructor has a signature
of:
C :: a [] -> D a
--
Kevin Atkinson
[EMAIL PROTECTED]
http://metalab.unc.edu/kevina/
