Re: [Haskell-cafe] Monad Laws and Do Notation

On 22 September 2011 11:46, diazepan wrote:

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

I don't think you can: the best you can do is minimise it with other monadic functions. The general case you can do something like discard from polyparse: http://hackage.haskell.org/packages/archive/polyparse/latest/doc/html/Text-P... -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com