Re: Kind Question

[Lennart Augustsson]

> Now how would I use a type considering its constructor has a signature
> of:
> 
> C :: a [] -> D a
data L1 f = C1 (f Int)
x :: D L1
x = C (C1 [])

        -- Lennart