Las declaraciones de tipos explícitos para constructores deben tener el formato 'ty1 . tyN -> resTy'. Pueden ser necesarios ...