<p dir="ltr">+1 from me, if only as a nice-to-have—it would be good to flesh out some standard type operators in general.</p>
<div class="gmail_extra"><br><div class="gmail_quote">On Nov 1, 2016 4:14 PM, "Elliot Cameron" <<a href="mailto:eacameron@gmail.com">eacameron@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">Folks,<div><br></div><div>Has there been a discussion about adding a type-level operator "$" that just mimics "$" at the value level?</div><div><br></div><div><div>type f $ x = f x</div><div>infixr 0 $</div></div><div><br></div><div>Things like monad transformer stacks would look more "stack-like" with this:</div><div><br></div><div>type App = ExceptT Err $ ReaderT Config $ LogT Text IO<br></div><div><br></div><div>Elliot Cameron</div></div>
<br>______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div></div>