[Haskell-cafe] type annotations elsewhere

[Jason Dusek]

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