zipWithM package:Agda

Like zipWithM.
Like zipWithM.