<div dir="ltr">yeah i know, so why did you say "<span style="font-size:12.8px">so if you can you might want to use that"?</span></div><div class="gmail_extra"><br><div class="gmail_quote">2017-07-01 21:46 GMT+02:00 Stefan Risberg <span dir="ltr"><<a href="mailto:steffenomak@gmail.com" target="_blank">steffenomak@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">Every monad is applicative, but every instance of applicative does not have a monad one</div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On 1 Jul. 2017 20:19, "Silent Leaf" <<a href="mailto:silent.leaf0@gmail.com" target="_blank">silent.leaf0@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">but i can use pure every time return is usable, can i not? every applicatives are monads right? i don't get the "if you can" part. why could i not?</div><div class="gmail_extra"><br><div class="gmail_quote">2017-07-01 20:03 GMT+02:00 Francesco Ariis <span dir="ltr"><<a href="mailto:fa-ml@ariis.it" target="_blank">fa-ml@ariis.it</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Sat, Jul 01, 2017 at 07:47:57PM +0200, Silent Leaf wrote:<br>
> [..] or is it a way to say "simplest way to wrap<br>
<span>> the value, purest (least "modified") equivalent of the value as wrapped<br>
> value"?<br>
<br>
</span>^-- this one.<br>
<br>
`pure` and `return` are synonyms. There are two words for the same concept<br>
for historical reasons. Using pure does not incurs in monad constraints,<br>
so if you can you might want to use that.<br>
______________________________<wbr>_________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/beginners</a><br>
</blockquote></div><br></div>
<br>______________________________<wbr>_________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/beginners</a><br>
<br></blockquote></div></div>
</div></div><br>______________________________<wbr>_________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/beginners</a><br>
<br></blockquote></div><br></div>