so here applicative map helps you taking `n` valid...

# arrow

[raulraja]

so here applicative map helps you taking n validation rules and preserving their types