On 9/27/06, oleg@pobox.com
This message is intended as a long answer to Michael Shulman's question (Re: variadic functions and typeCast) and Jason Dagit's question (Re: Duplicate Instance problem). Incidentally, the short answer to Jason Dagit's question is `constraints are disregarded during instance selection'. The answer to Michael Shulman is yes.
Hmm...Perhaps I'm just sleepy but I read through the descriptions below and I'm still not sure if what I want to do is easy or extremely difficult. I think you're suggesting that I should use something like TypeCast to control the unification if I want to get rid of my duplicate instances problem? I'll re-read this a few times and look at the TypeCast stuff. I feel like this is quite a bit over my head at the moment, but your description is very good and hopefully it will make more sense in the morning. Thanks, Jason