To be fair, mixing higher order functions with effects (exceptions) is really hard without changing the type system completely. At that point you're moving into

To be fair, mixing higher order functions with effects (exceptions) is really hard without changing the type system completely. At that point you're moving into novel encoding territory.