On 7/18/06, Jean-Marie Gaillourdet <jm@gaillourdet.net> wrote:
> As far as I understand ML modules, the only way to achieve that is to
> capture your type variables with abstract types in separate modules,
> i.e. Foo and Bar have to get their type parameters as modules.

I was hoping to keep the functions polymorphic but it seems like
functors like you say are the best route... they'll probably end up
making my code cleaner anyway :P

Thanks,
Chris King