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 _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
