Type Alias DoResult<T>

DoResult:
    | { ok: true; value: T }
    | { empty: true; ok: false }
    | { empty: false; error: unknown; ok: false }

Result type for Do-notation unwrapping Indicates whether unwrapping succeeded and provides the value or error