Si un argumento tiene tipo [a] entonces es feliz llamarlo xs y no x (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 llamarloxs
y nox
(vendría de muchaSx
). 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 llamamosxss
(o sea, muchaSxs
).