Re: Type Level "Application" Operator

+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" 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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries