Type Level "Application" Operator

[Jon Purdy]

+1 from me, if only as a nice-to-have—it would be good to flesh out some
standard type operators in general.

On Nov 1, 2016 4:14 PM, "Elliot Cameron" <eacameron at gmail.com> wrote:

> Folks,
>
> 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
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20161101/48e888c5/attachment.html>