<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Feb 20, 2018 at 8:22 AM, Gershom B <span dir="ltr"><<a href="mailto:gershomb@gmail.com" target="_blank">gershomb@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 style="word-wrap:break-word;line-break:after-white-space"><div><blockquote type="cite" class="m_-200855598573172084clean_bq" style="font-family:Helvetica,Arial;font-size:13px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><span>From: Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>><br><br>> But on the other hand, <a href="http://pointfree.io" target="_blank">pointfree.io</a> tells me that you can write<br>><span class="m_-200855598573172084Apple-converted-space"> </span><br>> trace =<< f<br>> trace =<< show . f<br>><span class="m_-200855598573172084Apple-converted-space"> </span><br>> so I'm not sure how urgent these are.<br><br>Nifty! If we add this prominently to the docs in Data.Trace, wouldn’t<br>that suit us better?</span></blockquote></div><p>If I’m not mistaken, those make use of the unwrapped reader monad? In my opinion, that is an instance that is confusing and unidiomatic to many people. I don’t think that “easy to write with unwrapped reader” is the same as “easy to write” (or “easy to understand”). I wouldn’t want core docs to recommend this as an approach. </p><span class="HOEnZb"><font color="#888888"><p>-g</p><div></div></font></span></div><br></blockquote><div><br></div><div>I agree with Gershom.</div><div><br></div><div>Michael<br></div></div></div></div>