Summary:
Detail:
OptionSemigroupal
<A, B> Kind<F,Tuple2<A,B>>
product(Kind<F,? extends A> fa, Kind<F,? extends B> fb)