Restricted Data Types

[Taral]

On 2/5/06, Jim Apple <jbapple+haskell-prime at gmail.com> wrote:
> Have we considered Restricted Data Types?
>
> http://www.cs.chalmers.se/~rjmh/Papers/restricted-datatypes.ps

You know, when I first used datatypes with context, I expected it to
work this way, and was very surprised that it didn't. I'd love to see
this, but it needs to be implemented as an extension before it can
reasonably be considered for a conservative language extension like
Haskell'.

--
Taral <taralx at gmail.com>
"Computer science is no more about computers than astronomy is about
telescopes."
    -- Edsger Dijkstra