Hacker News Reader

I was specifically referring to statically typed OOP.

You're right, I haven't tried OCaml or Haskell so I can't make a qualitative judgement on how easy/hard type coercion is in either.

The need for type coercion is a very good indicator of a bad design. Haskell just forces you to deal with it right now instead of never.