The Monad Laws

return x >>= f = f x

m >>= return = m

(m >>= g) >>= h = m >>= (\x-> g x >>= h)

return >>> f = f

f >>> return = f

(f >>> g) >>> h = f >>> (g >>> h)

(f >>> g) a = f a >>= g