[Haskell-cafe] Monad Laws and Do Notation

Ivan Lazar Miljenovic ivan.miljenovic at gmail.com
Thu Sep 22 03:59:06 CEST 2011

On 22 September 2011 11:46, diazepan <spanishbizarro3 at yahoo.com> 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:

Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com

More information about the Haskell-Cafe mailing list