Я тоже за похороны наследия OCaml(в том же синтакисе дженериков или типов не через спецификацию после двоеточия), что засирает кодовую базу компилера из-за необходимости поддерживать. Но хотеть мало, интересно чем все это закончится :)
А чем может закончиться? Вероятность прихода крупного разработчика на фшарпе, у которого вся кодовая база в мл стиле, крайне мала. А других препятствий я не вижу.