Applicative allows you to generalize `(A, B, C, D....

# arrow

[Derek Berner]

Applicative allows you to generalize (A, B, C, D...) -> Z into (F<A>, F<B>, F<C>, F<D>...) -> F<Z>