5 Feb
2020
5 Feb
'20
2:58 a.m.
Quoting Olaf Klinke <olf@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.