3 ms·The proper solution is effectful type systems that are polymorphic to effects, like exceptions.by kaba0 3y agoThe proper solution is effectful type systems that are polymorphic to effects, like exceptions.