[Haskell-cafe] ListT version leveraging Traversable

Juan Casanova juan.casanova at ed.ac.uk
Tue Feb 4 18:58:33 UTC 2020

Quoting Olaf Klinke <olf at aatal-apotheke.de> on Mon, 3 Feb 2020 22:03:18 +0100:

> so the counterexample is only a counterexample because the ordering  
> matters for equality. If you're modelling non-determinism, you may  
> safely use the deprecated ListT knowing that the monad laws are  
> violated only due to ordering and multiplicity.

I think this is a great summary of where my confusion was and my  
conclusion on this topic. Thanks very much to both for the explanations.

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

More information about the Haskell-Cafe mailing list