Automatic derivation of Lift
This feature request was brought up in this template-haskell thread:
There are apparently two implementation alternatives:
Merge Ian's th-lift library with the mainstream template-haskell library
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.
 http://www.haskell.org/pipermail/template-haskell/2007-October/000635.html  http://hackage.haskell.org/cgi-bin/hackage-scripts/package/th-lift-0.2
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information