Automatic derivation of Lift
|Reported by:||guest||Owned by:||RyanGlScott|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):||Phab:D1168|
This feature request was brought up in this template-haskell thread:
There are apparently two implementation alternatives:
1) Merge Ian's th-lift library 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.