[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