RE: Restricted data types

| >> 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