Are either of these statements implied by the MonadZip laws? I don't see a way that they would be. mzipWith f (return x) (return y) = return (f x y) munzip (return (x, y)) = (return x, return y) If so, how? If not, do they make sense to add as laws of their own? Joseph C. Sible