Extensible optionally-pure exceptions
