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

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