Narrowing Response Types Based on Route in TypeScript Match Implementation

get: (_route, init) => {
    const result = Match.value(_route).pipe(
      Match.when('/tokens', () =>
        Effect.succeed({ status: 200 as const, body: tokenResponseBody }),
      ),
      Match.when('/userinfo', () =>
        Effect.succeed({ status: 200 as const, body: userInfoResponse }),
      ),
      Match.when('/authorize', () => pipe(init['query'], getFirstElementAndRespond)),
      Match.exhaustive,
    );
    return result;
  }