Extensible optionally-pure exceptions