Type Level "Application" Operator

Elliot Cameron eacameron at gmail.com
Tue Nov 1 23:13:42 UTC 2016


Has there been a discussion about adding a type-level operator "$" that
just mimics "$" at the value level?

type f $ x = f x
infixr 0 $

Things like monad transformer stacks would look more "stack-like" with this:

type App = ExceptT Err $ ReaderT Config $ LogT Text IO

Elliot Cameron
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20161101/1ceb0c0e/attachment.html>

More information about the Libraries mailing list