:: (a -> b -> c) -> Maybe a -> Maybe b -> Maybe c package:generic-data

Generic liftA2. See also gpure.