<div dir="ltr">I'm trying to figure out whether this is a property of the functor itself. I guess it is, but at the same time it seems somewhat orthogonal whether to `seq` some value`.</div><div class="gmail_extra"><br>

<br><div class="gmail_quote">On Fri, Nov 29, 2013 at 3:50 PM, Twan van Laarhoven <span dir="ltr"><<a href="mailto:twanvl@gmail.com" target="_blank">twanvl@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">On 29/11/13 12:23, Johan Tibell wrote:<br>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
On Fri, Nov 29, 2013 at 1:19 PM, Twan van Laarhoven <<a href="mailto:twanvl@gmail.com" target="_blank">twanvl@gmail.com</a><br></div><div class="im">
<mailto:<a href="mailto:twanvl@gmail.com" target="_blank">twanvl@gmail.com</a>>> wrote:<br>
<br>
    I don't like that this function is implemented for Monads, I think that it<br>
    makes sense for some other functors as well. Though to do this 'properly' we<br>
    would probably end up with another typeclass "StrictFunctor" or something,<br>
    and that is perhaps too much unnecessary complexity.<br>
<br>
<br>
Do you have an example of such a functor?<br>
<br>
-- Johan<br>
</div></blockquote>
<br>
The first thing that came to mind was ZipList. Perhaps a more realistic example would be parsing combinator or FRP libraries that are applicative but not monadic.<span class="HOEnZb"><font color="#888888"><br>
<br>
<br>
Twan<br>
</font></span></blockquote></div><br></div>