corrected Monad Laws