Habría que ver si esto se puede hacer desde un `.d.ts` o algo menos tricky _Originally posted by @PalumboN in https://github.com/uqbar-project/wollok-web-tools/pull/13#discussion_r1791152100_