Habría que pensar una estrategia para que esto no pase. Se podría buscar un primer workaround agregando algunos colores para las variables más usadas, por lo gral no pasan de a, b, c, d. Y después pensar algo más cheto, que contemple las variables de tipos que están juego y asigne más automágicamente.
Algo similar a https://github.com/uqbar-project/function-laboratory/issues/30 pasa con tipos parámetricos, ya que todas las variables de tipos tienen el mismo color. Entonces
a -> acolisiona cona -> b. Acá la definición del tipo parámetrico: https://github.com/uqbar-project/function-laboratory/blob/cf522087d2b49e8e3c2197e6dd2b15ff915aee3d/src/typeSystem.js#L207-L209Habría que pensar una estrategia para que esto no pase. Se podría buscar un primer workaround agregando algunos colores para las variables más usadas, por lo gral no pasan de
a,b,c,d. Y después pensar algo más cheto, que contemple las variables de tipos que están juego y asigne más automágicamente.