… and here, all along, is the experimental implementation of ocaml with a type system tracking effects:
meaning exceptions can be tracked through the type system!
I think the problem may be it’s non-backward compatibilty but I hope it eventually gets into the distro on a switch of some sort anyway.