I've got this expression expression = do w <- "hello" y <- "to you" return w I wanna know how can I reduce it using monad laws -- View this message in context: http://haskell.1045720.n5.nabble.com/Monad-Laws-and-Do-Notation-tp4828598p4828598.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.