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 [])
--
-- Lennart
