(m  >>=  (\x -> f x))  >>=  g    ≡
     m  >>=  (\x -> f x    >>=  g)