
14 Oct
2007
14 Oct
'07
10:02 p.m.
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