Either way, is Obj being deprecated? Why isn’t Obj.t being deprecated, but everything else (except Obj.magic) is?
Obj is a name from OCaml, so I think yes. I wanted to deprecate entirely, but it’s simply too widely used and causes compatibility problems (even inside the compiler itself). Maybe we’ll reconsider it in v12~v13
We have dict and unknown. You can coerce explicitly with %identity, the same way as Obj.repr.
I just wanted to mention my concern about supporting it at the syntax level. e.g. value :> unknown, unlike other coercions, the compiler cannot check anything.