Restricted data types

[Simon Peyton-Jones]

| >> Have we considered Restricted Data Types?
| >>
| >> http://www.cs.chalmers.se/~rjmh/Papers/restricted-datatypes.ps
| >
|
| Finally, I wrote my paper before fundeps came on the scene. Some of
the contortions I went through
| in my simulation of RDTs could be avoided with the help of fundeps.

A key point in the RDT paper, I think, was the ability to *abstract over
a type class*.  Now that is something one could consider adding to
Haskell, as the SYB3 paper argues. (See my home page.)

Suppose that one could abstract over a type class.  How would the RDT
paper change?  I'm not sure.

Simon