[Template-haskell] Lift instances of the AST-related types

[Ian Lynagh]

On Sat, Nov 03, 2007 at 04:47:48PM +0100, Alfonso Acosta wrote:
> 
> It's not a substitute of Ian's package (the instace Data a => Lift a
> is illegal), but it complements it.

You can have that instance with undecidable and overlapping instances,
can't you? Or is there another problem I'm missing?


Thanks
Ian