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

Lift a binary function into a Comonad with zipping