The reason for this is to make the syntax uniform ...

# arrow-contributors

[tomasruizlopez]

The reason for this is to make the syntax uniform with other language constructs like vararg and because it is easier to implement. Perhaps in the future we can include unnamed parameters and just one with to resolve all typeclass instances.