MonadZip laws

Joseph C. Sible josephcsible at
Sat Nov 28 01:19:33 UTC 2020

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

More information about the Libraries mailing list