The IsFailure member is a necessary part of failure-compatible types, which are used with the :- operator. See the discussion in the reference manual for more detail.