Не прошло и десять лет
Как в Caml заимплементили

let open ...

и возможность сокращать паттерны вида {re=re, im=im} до {re, im}

PS: Кстати пара других крайне полезных и совершенно элементарных в реализации фич, которые есть в caml, но отсутствуют в большинстве языков:

возможность использовать в записи числовых констант _ : 10_000_000 (скомунизжено из ады и больше нигде кажется и нет - еще в А-68 можно было пробелы в константах использовать)

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