:: m a -> m b -> m (a, b) package:invertible

Default '>*< implementation for non-invertible Applicatives.