A string literal type used as the tag discriminator
Instances created with new FailureConstructor(options?) extend Error
and conform to the Failure shape, carrying a __tag property set
to the tag string. The optional ErrorOptions parameter allows setting
a cause for error chaining.
A constructor type for tagged error classes produced by failure.