Don’t think of the objects in OCaml as being like OOP, they are row-typed records (unlike normal records that are nominal records), and thinking of them like that should make their usages clear. 
But oh yes please an OCaml with no GC and rust-like lifetime management, maybe go full on refined or even dependent typing, and for the algebraic effects system to finally get finished and merged in! All that would be so nice, lol.