Thanks for your feedback, it’s valid but it also addresses things beyond my question. I would change to BSON.t but they’re unfortunately different from BSON.value. The codec is rather hacky atm, but I’ll address it later and incorporate your feedback.
Either way, is Obj being deprecated? Why isn’t Obj.t being deprecated, but everything else (except Obj.magic) is? I would like to see some 'a => unknown converter because I dislike using Obj.magic - I want to put it only where “absolutely needed” so I can grep for stupid stuff in my code base.