A carrier for an
Empty effect, indicating failure with a
Nothing value. Users that need access to an error message
should use the
Fail effect.
Note that
Empty effects can, when they are the last effect in a
stack, be interpreted directly to a
Maybe without a call to
runEmpty.