I just read this quote and I do not understand what it means:

  "In particular, the Hindley/Milner style of type inference used in languages 
such as OCaml or Haskell is incompatible with lots of assumptions of OO 
languages. One incompatibility is with overloading. That's why OCaml does not 
let you write + for both integer and floating point addition. Another 
incompatibility is with higher order polymorphism. That's why OCaml gives you 
only monomorphic methods in classes." - Martin Odersky

In what way must methods be monomorphic in OCaml classes?

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?e