
23 Jan
2005
23 Jan
'05
5:07 a.m.
On 2005-01-23, Keean Schupke
Is there only on correct definition of a monad/monoid on lists - or does anything that satisfies the monad laws count? I got the impression you could define anthing you liked for mzero and mplus - providing the laws are upheld?
You can, but the "other one" turns it into a copy of the Maybe Monad, so the current one is more useful. -- Aaron Denney -><-