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