<div dir="ltr"><div class="gmail_extra"><br>
<br><br><div class="gmail_quote">On Sat, Feb 1, 2014 at 12:08 PM, Mario Blažević <span dir="ltr"><<a href="mailto:blamario@acanac.net" target="_blank">blamario@acanac.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

<div class="im">On 01/28/14 21:25, Alvaro J. Genial wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
1. Is there a more general version of `null`? (e.g. for a Monad, Functor, Applicative, Traversable or the like.)<br>
</blockquote>
<br></div>
There is the MonoidNull class from my monoid-subclasses library. It comes with plenty of standard instances.<br></blockquote><div><br></div><div>This is very nice as it seems to mesh with my current thinking; I may end up using it in Neat [1] shortly.</div>

<div><br></div><div>Thank you,</div><div><br></div><div>Alvaro</div><div><a href="http://alva.ro">http://alva.ro</a></div><div><br></div><div>[1] <a href="https://github.com/ajg/neat">https://github.com/ajg/neat</a></div>

<div><br></div></div><br></div></div>