:: (a -> b -> c) -> Maybe a -> Maybe b -> Maybe c package:semigroupoids

liftF2 :: Apply f => (a -> b -> c) -> f a -> f b -> f c
semigroupoids Data.Functor.Apply Data.Functor.Bind Data.Functor.Bind.Class
Lift a binary function into a comonad with zipping
gliftF2 :: (Generic1 w, Apply (Rep1 w)) => (a -> b -> c) -> w a -> w b -> w c
semigroupoids Data.Functor.Apply
Generic liftF2. Caveats:
  1. Will not compile if w is a sum type.
  2. Types in w that do not mention the type variable must be instances of Semigroup.