Re: Lift instances of the AST-related types
Ian Lynagh <[email protected]> Sun, 4 Nov 2007 00:14:29 +0000
| Newsgroups | gmane.comp.lang.haskell.template |
|---|---|
| Message-ID | <[email protected]> |
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