Talk:MonadPlus reform proposal
Revision as of 11:42, 20 January 2006 by Udo Stenzel (talk | contribs)
This is a good proposal, I think. The standard libraries use MonadZero only in two places: functions guard and msum. msum should probably be accompanied by a reduction with morelse, which should then be called mchoice.
Parsec already has operators (<++) and choice with fitting semantics. Simply calling morelse (<++) and mchoice choice might be even more convenient.
--Udo Stenzel 11:42, 20 January 2006 (UTC)