[darcs-devel] darcs patch: start gadt stuff (and 29 more)

[Eric Kow]

> >    Sealed :: !(px C(,y)) -> Sealed p
>
> you mean
>
>    Sealed :: !(px C(,y)) -> Sealed px
>
> right?

yup!

-- 
Eric Kow                     http://www.loria.fr/~kow
PGP Key ID: 08AC04F9         Merci de corriger mon français.