core :: MaybeError :: value
REQUIRE: not is_error
not is_error
# The value # REQUIRE: `not is_error` fun value: V do return maybe_value.as(V)