Возможно есть и более серьезные (неразрешимые) проблемы связанные с полиморфизмом -
например - как реализовать функцию

let apply f x = f x

Если в реальном вызове - x - объект, а f - хочет объект. Но apply-то про это
ничего не знает.