<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>