On 2/8/06, oleg at pobox.com <oleg at pobox.com> wrote: > > It seems we can emulate the restricted data types in existing > Haskell. I have proposed this for Haskell' libraries. See http://hackage.haskell.org/trac/haskell-prime/ticket/98 Jim