4 Feb
2020
4 Feb
'20
1:58 p.m.
Quoting Olaf Klinke
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.