MonadZip laws

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

MonadZip laws

Joseph C. Sible
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
Libraries mailing list
[hidden email]