Type sections

[Tomasz Zielonka]

On Mon, Dec 11, 2006 at 12:40:33AM +0100, Twan van Laarhoven wrote:
> Since operators are allowed in type and class names, I think it would 
> make sense if the section notation was also allowed. In particular the 
> Reader monad would be a little bit nicer:
>  > instance Monad (e ->) where ...
> And maybe type level programming can benefit as well.

I wonder about (-> e) - by analogy to expression sections it could be
desugared to a type-level lambda. AFAIU, type-level lambdas are avoided
when you want terminating type-checking. IIUC, you have an equivalent
power if you turn on certain GHC's extensions. Perhaps with those
extensions we could have type-level lambdas too? Or we have them
already, somehow disguised?

Please tell me, if I am talking nonsense.

Best regards
Tomasz