pipe with TE.Do notation where typescript says it has only 1 error in Left while actually it has 3. Why??

[rolfst]

Hi I have this case where I have a pipe that has several operations and each can return it's own error.
then at the end of the pipe I have a mapLeft to handle the leftside of the flow.
For some reason when I hover my mouse over the error I only get the latest Error that is put in the last either. But when I create a matcher I am stil able to handle all 3 the errors.

declare     const fetchData = (url: URL): TE.TaskEither<TransportationError, BusinessPartner>
declare      const parseJsonData = (jsonData: unknown): E.Either<ValidationError, BusinessPartner>
declare   const assembleQueryParams = (businessPartnerId: string | null, businessPartnerKvk: string | null,): O.Option<QueryParams>
...
const url = pipe(
      assembleQueryParams(BusinessPartner),
      O.map(assembleUrl),
      TE.fromOption(() => new InputArgumentError('No queryParams created')),
);

return pipe(
      TE.Do,
      TE.bind('url', () => url),
      TE.bind('jsonData', ({ url }) => fetchData(url)),
      TE.bind('parsedData', ({ jsonData }) => TE.fromEither(parseJsonData(jsonData))),
      TE.map(({ parsedData }) => parsedData),
      TE.mapLeft(
             (e) => e),  // This e is always a ValidationError. but I can still handle the TransportationError and the InputArgumentError
    )();

is there a way I can let the language server show I have a possibility of the 3 error types?

[gcanti]

Utilize TE.bindW instead of TE.bind. The "W" stands for "Widen", indicating that it widens the error type of TaskEither.

[rolfst]

Many thanks