[Haskell-cafe] type annotations elsewhere

Haskell offers a few different annotations, for example strictness, to optimize programs. It would sure be nice if there were a way to pull the annotations out and put them somewhere else, enabling them, or not, at compile time. There could be several different annotation sets, even -- you could try different ones for different things. However, there are some real practical difficulties here -- how do you write an 'expresssion selector' to pair with the annotation, in order to find its target? It may involve walking the AST -- a fancy and potentially brittle way to go about optimization (a brittle thing to start with!). -- _jsn