4 ms·

I think the solution is to have typed exception modelled as polymorphic variants. Something similar to Swift.