Type sections

Twan van Laarhoven twanvl at gmail.com
Sun Dec 10 18:40:33 EST 2006

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.


More information about the Haskell-prime mailing list