Skip to content

Instantly share code, notes, and snippets.

Last active Oct 12, 2016
What would you like to do?
Monad laws
return a >>= f == f a -- Left Identity
m >>= return == m -- Right Identity
(m >>= f) >>= g == m >>= (\x -> f x >>= g) -- Associativity
-- all applicative functor laws
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment