The biggest problem is that with each one of these being so short and with so many useful variations, the concepts struggle to cross the &quot;Fairbairn threshold&quot;.<br><br><div class="gmail_quote">On Tue, Feb 14, 2012 at 10:47 AM, Jeff Shaw <span dir="ltr">&lt;<a href="mailto:shawjef3@msu.edu">shawjef3@msu.edu</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I&#39;m all for generalizations! I have a second, very similar function I think should be added, but I don&#39;t have a good name for it.<br>

<br>
maybe mzero id :: MonadPlus m =&gt; Maybe (m a) -&gt; m a<br>
<br>
Perhaps there is once again an equivalent for Alternative.<div><div></div><div class="h5"><br>
<br>
On 2/14/2012 10:24 AM, Edward Kmett wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
If you are going to add one then the generalization of your generalization to Alternative might be better.<br>
<br>
maybeA = maybe empty pure<br>
<br>
On Feb 14, 2012, at 9:55 AM, Jeff Shaw&lt;<a href="mailto:shawjef3@msu.edu" target="_blank">shawjef3@msu.edu</a>&gt;  wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I find myself using this function quite a lot. I believe it should be included in Data.Maybe.<br>
<br>
import Control.Monad<br>
<br>
maybeTo :: (MonadPlus m) =&gt;  Maybe a -&gt;  m a<br>
maybeTo =<br>
    maybe mzero return<br>
<br>
______________________________<u></u>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/libraries</a><br>
</blockquote></blockquote>
<br>
</div></div></blockquote></div><br>