Extensible optionally-pure exceptions.
