For those of you who may be interested:
I am working on an implementation of Nameable Type Parameters written in
Haskell. I currently have them working in a so called Mini Haskell
where all kind information is presented explicitly. I had a few
unification problems but I eventually got it all working out. It even
allows overlapping instances! I will let you know when I have a
finished product which includes complete kind inference. If anyone is
interest in seeing the preliminary product please let me know and I will
send you a copy.
--
Kevin Atkinson
[EMAIL PROTECTED]
http://metalab.unc.edu/kevina/
