Automatic derivation of Lift

[guest]

This feature request was brought up in this template-haskell thread[1]:

There are apparently two implementation alternatives:

1) Merge Ian's th-lift library[2] with the mainstream template-haskell library

2) Implement "instance Data a => Lift a" (requires allowing undecidable and overlapping instances) in template-haskell. Since Data can be derived automatically by GHC, such an instance would imply automatic derivation of Lift as well.

[1]  http://www.haskell.org/pipermail/template-haskell/2007-October/000635.html [2]  http://hackage.haskell.org/cgi-bin/hackage-scripts/package/th-lift-0.2

[igloo]

We should aim to decide something in time for 6.10.

[fons]

This haskell-cafe thread might help  http://www.haskell.org/pipermail/haskell-cafe/2007-November/033955.html

[morabbin]

Bump; worth looking at merging th-lift again?