A natural generalization of literal overloading in Haskell (numerals and strings) to overload the other syntactic constructs. So far, we only overload the expression application (programming the space character!).