Add an api to compute the cartesian product of n Option[T] (and other monad/applicative types)

[dgouyette]

Example :

val sum = (optionalInt1,optionalInt2).mapN((l, r) => l+r)

Maybe we could do something for Either, Validation, UnionType...