Si un argumento tiene tipo [a] entonces es feliz llamarlo xs y no ls (vendría de muchaS x). Esto permite identificar más fácilmente de qué va la función, sin necesidad de estar todo el tiempo haciendo saltos mentales. Consecuentemente, si un argumento tiene tipo [[a]] lo llamamos xss (o sea, muchaS xs).
Si un argumento tiene tipo [a] entonces es feliz llamarlo xs y no ls (vendría de muchaS x). Esto permite identificar más fácilmente de qué va la función, sin necesidad de estar todo el tiempo haciendo saltos mentales. Consecuentemente, si un argumento tiene tipo [[a]] lo llamamos xss (o sea, muchaS xs).