11 - unbound - derive alpha-respecting Ord instance. (done?)
12 - unbound - derive aeq directly instead of using match. (done?)
15 - RepLib
17 - unbound - create real test suites (in progress)
18 - RepLib (although GHC.Generics also doesn't support existentials)
23 - RepLib (although GHC.Generics also doesn't support GADTs)
24 - need more info
25 - copied to GitHub #6
26 - unbound - "untrec has worse than O(n) complexity in number of binders -- linear time possible?" (we don't have TRec yet, but seems like it would have the same problem)
The RepLib/Unbound Google Code Issues List has a number of Enhancements and Defects that ought to be copied over here so that we can work on them.