Extensible optionally-pure exceptions.