Type guard: narrows Procedure to IProcedureFailure.
The Procedure to check.
True if the result is a failure.
Type guard: narrows Procedure to IProcedureFailure.