Fail

This is the exception thrown by fail(). There's no need to create or throw this directly, but it's public in case you have reason to catch it.