Як варіант можна розібратись як працює система типів OCaml через Rescript. Але тоді я би радив йти по хардкору і просто подивитись на OCaml :)

github.com/...​/examples/dom_example.res
ось це непоганий приклад. Ми взяли за основу ці байндінги і дописуємо по необхідності самостійно

Як людина, яка використовує ReScript в продакшені, маю сказати, що ReScript не має щодного відношення до Rust. Схожі вони тільки тому, Rust запозичив багато ідей з OCaml, тай сам Rescript — це просто форк OCaml, який все одно потім збирається компілятором OCaml