<html><head><style>body{font-family:Helvetica,Arial;font-size:13px}</style></head><body style="word-wrap:break-word;line-break:after-white-space"><div><blockquote type="cite" class="clean_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">mail@joachim-breitner.de</a>><br><br>> But on the other hand, <a href="http://pointfree.io">pointfree.io</a> tells me that you can write<br>><span class="Apple-converted-space"> </span><br>> trace =<< f<br>> trace =<< show . f<br>><span class="Apple-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><p>-g</p><div></div></body></html>