Re: [Haskell-cafe] Annotated ASTs, and the tension between Bound, Free, and Cofree...

Tom Ellis writes:

Or if you want *every* subterm annotated then how about

newtype Expr f a = Expr { unExpr :: Free (ExprF (Compose f Expr)) a }

Merijn, if you get something like this working, I'd be interested to see some of your code, since I too tripped over a similar problem when looking for a nice way to represent annotated ASTs with bound. Having a good solution seems like it would be widely useful. -- Mikael Brockman