I was specifically referring to statically typed OOP.<p>You&#x27;re right, I haven&#x27;t tried OCaml or Haskell so I can&#x27;t make a qualitative judgement on how easy&#x2F;hard type coercion is in either.