core :: MaybeError :: error
REQUIRE: is_error
is_error
# The error # REQUIRE: `is_error` fun error: E do return maybe_error.as(E)