2008/2/6, oleg@xxxxxxxxx <oleg@xxxxxxxxx>:
> Ki Yung Ahn posed a problem of first-order syntactic unification
> over GADTs.
> There posted code seem to exhibit two problems: one deals with kind
> equality, and the other with unification.
Thanks for pointing out my mistake in the unification composition.
And many thanks to your full effort on experimenting all the way down,
beyond just giving hints on representation of kinds and equality witnesses.
This was greatly helpful !!!
Ahn, Ki Yung
Haskell mailing list