Re: Kind Question

[Kevin Atkinson]

Kevin Atkinson wrote:
> 
> Lennart Augustsson wrote:
> > Your grammar does not seem to cover
> > ((*->*) -> *) -> *
> > which you could get (as the kind of D) e.g. from
> > data D c = C (c [])
> >
> 
> Now how would I use a type considering its constructor has a signature
> of:
> 
> C :: a [] -> D a

I answered my own question.

data D c = C (c [])
data E c = F (c Int)

a = C (F [10])

But what can such a type be used for?

-- 
Kevin Atkinson
[EMAIL PROTECTED]
http://metalab.unc.edu/kevina/