TypeLits and type families wrt. equality

[Simon Peyton Jones]

|  When saying "Big Deal" did you mean
|    - highly desirable and somebody should go for it
|    - or a terrible amount of work, and who tackles it is probably a
|  fool on a hubris trip?

I meant

  - a lot of work, including changes to the core System FC language
  - we lack enough compelling cases to justify that work

But it would certainly be interesting.  In short, a research exercise, not an engineering one.

Simon