I believe there is no such case. Data type contexts are a mis-feature and should never have been in Haskell.
Simon | -----Original Message----- | From: [email protected] [mailto:haskell-prime- | [email protected]] On Behalf Of Thomas Schilling | Sent: 19 July 2010 23:14 | To: [email protected] | Subject: Re: Propsal: NoDatatypeContexts | | On 18 July 2010 22:59, Ian Lynagh <[email protected]> wrote: | > I have made a proposal to remove support for that context (ticket #139). | > More details are on the proposal wiki page: | > | > http://hackage.haskell.org/trac/haskell-prime/wiki/NoDatatypeContexts | | +1 | | I would be interested in a case where it actually *is* a good idea to | use such contexts. From my understanding, if you want to enforce the | constraints on users of your library you can still export it as an | abstract data type and put the constraints on the functions that use | it. | _______________________________________________ | Haskell-prime mailing list | [email protected] | http://www.haskell.org/mailman/listinfo/haskell-prime _______________________________________________ Haskell-prime mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-prime
