On 10/14/07, Yitzchak Gale <[EMAIL PROTECTED]> wrote:
> Not very much, I suspect. That "monad" really is broken -
> it's not a monad at all.

Depending on your point of view, ListT isn't broken. It correctly
transforms commutative monads into monads. The problem is that you
can't express "commutative monad" any differently from "monad" in
Haskell. And so it's been shoehorned into the wrong type class.

The replacement ListT is usually the monad transformer I need when I
want a List-like monad transformer, so I'm all for it being in the
standard prelude. But it seems sad there isn't a place for the old one
to live.
--
Dan
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to