Type sections

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.

Twan