Type Alias Result<T, E>

Result: [E] extends [never]
? { ok: true; value: T }
: { ok: true; value: T } | { error: E; ok: false }

Success or business error response, discriminated by ok