[Haskell-cafe] Let's do ListT right, finally

[Yitzchak Gale]

David Menendez wrote:
> If desired, we could easily define a class for commutative monads, and
> then state that ListT m is only a monad if m is a commutative monad.

If we do that, can I suggest that we use some name other
than ListT for that? So far, we seem to agree that most
practical applications use the new ListT.

Thanks,
Yitz