--- "effect": patch --- add Result.failVoid