Re: neophyte/clueless type inference question

> I would be very difficult. The main problem is that the Hindley/Milner-style
> type inference used in ML and Haskell is really incompatible with subtyping.

Ah, got it. (I'm familiar with the terms, but haven't really studied typing.)

> http://citeseer.ist.psu.edu/pierce98local.html
> http://citeseer.ist.psu.edu/odersky01colored.html
> And here's the reference for HM(X):
>  http://citeseer.ist.psu.edu/16814.html

I will have to read those, thanks. If I can understand them I'll be
able to sound a lot less undergraduate on LtU :-)