:: [c] -> [b] -> [(c, b)] package:invertible

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